帮助 关于我们

返回检索结果

带控制流的静态函数调用分析方法
Method for Static Function Call Analysis with Control Flow

查看参考文献5篇

文摘 提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具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.
来源 计算机工程 ,2011,37(9):47-50 【核心库】
关键词 静态分析 ; 控制流 ; 函数调用 ; 程序优化
地址

电子科技大学软件学院, 成都, 611731

语种 中文
文献类型 研究性论文
ISSN 1000-3428
学科 自动化技术、计算机技术
基金 国家重大科技专项 ;  中央高校基本科研业务费专项基金资助项目
文献收藏号 CSCD:4289697

参考文献 共 5 共1页

1.  张林. 软件安全漏洞的静态检测技术. 计算机工程,2008,34(12):157-159 CSCD被引 10    
2.  江雷. 基于静态分析的软件安全检测技术研究. 全国计算机安全学术交流会论文集,2009:266-269 CSCD被引 1    
3.  于全喜. 嵌入式软件路径覆盖测试数据采集. 计算机工程,2009,35(21):54-56 CSCD被引 4    
4.  董启雄(译). Secure Programming with Static Analysis,2008 CSCD被引 1    
5.  谭浩强. C程序设计.2版,2002 CSCD被引 1    
引证文献 2

1 周宽久 基于控制流切片的代码安全缺陷检测方法 计算机工程与设计,2012,33(6):2265-2271,2304
CSCD被引 0 次

2 杨志嘉 中断优先级改变对函数静态调用关系影响研究 计算机应用研究,2015,32(7):2039-2041,2045
CSCD被引 1

显示所有2篇文献

论文科学数据集
PlumX Metrics
相关文献

 作者相关
 关键词相关
 参考文献相关

版权所有 ©2008 中国科学院文献情报中心 制作维护:中国科学院文献情报中心
地址:北京中关村北四环西路33号 邮政编码:100190 联系电话:(010)82627496 E-mail:cscd@mail.las.ac.cn 京ICP备05002861号-4 | 京公网安备11010802043238号