C程序控制流程模型的提取技术与实现

• 作者: 杨昌坤 许庆国
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 控制流图 抽象语法树 模型检测
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 208-214
• 页数: 7页
• 分类号: TP311.5
• 字数: 5528字
• 语种: 中文

摘要

控制流图描述了函数执行时可能采取的执行路径.绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析.在模型检测过程中,提取正确的控制流图是构建系统模型的关键.在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性.基于提取的控制流程,可对C程序的某些性质进行模型检验.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许庆国		2	9	2.0	2.0
2	杨昌坤	上海大学计算机工程与科学学院	1	5	1.0	1.0