Method for Static Function Call Analysis with Control Flow
Zongbo Hao
Abstract
Zongbo Hao
Abstract
This paper puts forward a new method for the static function call analysis with control flow,by which can get the information of control flow and function call through creating a model to carry out static analysis of the source code.Comparing with existing tools like calltree and Source Insight,the function call flow graph generated by using the new method can not only reveal the call order of the functions,but also help to understand the complexity of the logic of the program.With the help of the new function call flow graph,the code reader has a better mastery of control flow of the program and a better understanding of the structure and design of the program.It also provides the basis of convenience to analyse control conditions of the program,design path coverage test cases and optimization for the program.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
This paper puts forward a new method for the static function call analysis with control flow,by which can get the information of control flow and function call through creating a model to carry out static analysis of the source code.Comparing with existing tools like calltree and Source Insight,the function call flow graph generated by using the new method can not only reveal the call order of the functions,but also help to understand the complexity of the logic of the program.With the help of the new function call flow graph,the code reader has a better mastery of control flow of the program and a better understanding of the structure and design of the program.It also provides the basis of convenience to analyse control conditions of the program,design path coverage test cases and optimization for the program.
Key concepts: Computer science, Call graph, Control flow, Control flow graph, Static analysis, Program analysis, Control flow analysis, Function (biology)