基于过程蓝图的静态代码控制流生成算法 |
| |
引用本文: | 王觉,刘建宾,郑丽伟.基于过程蓝图的静态代码控制流生成算法[J].福建电脑,2014(10):5-9. |
| |
作者姓名: | 王觉 刘建宾 郑丽伟 |
| |
作者单位: | 北京信息科技大学 北京 100101 |
| |
基金项目: | 北京市教委人才培养模式创新实验区项目,北京市教委科技计划面上项目(KM201311232013)。 |
| |
摘 要: | 对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切片算法将程序进行预处理,利用过程蓝图对代码进行可视化操作形成程序的中间表示形式抽象语法树。然后对其构造和特点进行研究,提出抽象语法树的遍历算法。通过该算法得到程序的控制流图。最后,利用控制流图和控制树,对静态代码进行高效的控制流分析,监测这些代码是否满足安全性、可靠性等方面的指标,为检测和处理软件缺陷降低成本。
|
关 键 词: | 过程蓝图 静态代码分析 抽象语法树 控制流 控制树 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|