基于过程蓝图的静态代码控制流生成算法

• 作者: 刘建宾 王觉 郑丽伟
• 来源期刊: 福建电脑
• 关键词: 过程蓝图 静态代码分析 抽象语法树 控制流 控制树
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: 基金项目论文
• 页码范围: 5-9
• 页数: 5页
• 字数: 4376字
• 语种: 中文

摘要

对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度，本文首先采用程序切片算法将程序进行预处理，利用过程蓝图对代码进行可视化操作形成程序的中间表示形式抽象语法树。然后对其构造和特点进行研究，提出抽象语法树的遍历算法。通过该算法得到程序的控制流图。最后，利用控制流图和控制树，对静态代码进行高效的控制流分析，监测这些代码是否满足安全性、可靠性等方面的指标，为检测和处理软件缺陷降低成本。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘建宾		52	70	5.0	6.0
2	郑丽伟		13	3	1.0	1.0
3	王觉		1	1	1.0	1.0