|
|||||
|
|
| 基于中间表示的可复用程序分析系统 | |
| 作者姓名： | 郑瑶海 陈伟 赵琛 |
| 作者单位： | 中国科学院软件研究所互联网技术实验室,北京,100080 |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| 摘 要： | 采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离,利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后,用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。 |
| 关 键 词： | 静态分析 动态分析 中间表示 |
| 文章编号： | 1000-3428（2007）09-0066-03 |
| 修稿时间： | 2006-06-14 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |