带控制流的静态函数调用分析方法
Method for Static Function Call Analysis with Control Flow作者机构:电子科技大学软件学院成都611731
出 版 物:《计算机工程》 (Computer Engineering)
年 卷 期:2011年第37卷第9期
页 面:47-50页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:"核高基"重大专项"数字电视嵌入式软件平台及产业化"子课题"数字电视嵌入式软件开发平台"(2009ZX01039-003-001-002) 中央高校基本科研业务费专项基金资助项目(ZYGX2009J062)
摘 要:提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。