带控制流的静态函数调用分析方法  

Method for Static Function Call Analysis with Control Flow

作　　者：陈忠湘[1] 詹瑾瑜[1] 郝宗波[1] 

机构地区：[1]电子科技大学软件学院,成都611731

出　　处：《计算机工程》2011年第9期47-50,共4页Computer Engineering

基　　金："核高基"重大专项"数字电视嵌入式软件平台及产业化"子课题"数字电视嵌入式软件开发平台"(2009ZX01039-003-001-002);中央高校基本科研业务费专项基金资助项目(ZYGX2009J062)

摘　　要：提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。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.

关 键 词：静态分析 控制流 函数调用 程序优化 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]