| C程序控制流程模型的提取技术与实现 |
| |
| 引用本文： | 杨昌坤,许庆国. C程序控制流程模型的提取技术与实现[J]. 计算机科学, 2014, 41(5): 208-214 |
| |
| 作者姓名： | 杨昌坤 许庆国 |
| |
| 作者单位： | 上海大学计算机工程与科学学院 上海200072;上海市计算机软件评测重点实验室 上海201112 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61073050,4)资助 |
| |
| 摘 要： | 控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正确性。基于提取的控制流程,可对C程序的某些性质进行模型检验。
|
| 关 键 词： | 控制流图 抽象语法树 模型检测 |
| 收稿时间： | 2013-06-23 |
| 修稿时间： | 2013-09-03 |
Technology and Implementation of Extracting Control Flow Model of C Program |
| |
| YANG Chang-kun and XU Qing-guo. Technology and Implementation of Extracting Control Flow Model of C Program[J]. Computer Science, 2014, 41(5): 208-214 |
| |
| Authors: | YANG Chang-kun and XU Qing-guo |
| |
| Affiliation: | School of Computer Engineering and Science,Shanghai University,Shanghai 200072,China;Laboratory of Computer Software Evaluating and Testing,Shanghai 201112,China |
| |
| Abstract: | |
| |
| Keywords: | Control flow graph Abstract syntax tree Model checking |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
