| 基于中间表示的可复用程序分析系统 |
| |
| 引用本文： | 郑瑶海,陈伟,赵琛.基于中间表示的可复用程序分析系统[J].计算机工程,2007,33(9):66-68,71. |
| |
| 作者姓名： | 郑瑶海 陈伟 赵琛 |
| |
| 作者单位： | 中国科学院软件研究所互联网技术实验室,北京,100080 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离，利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后，用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。
|
| 关 键 词： | 静态分析 动态分析 中间表示 |
| 文章编号： | 1000-3428（2007）09-0066-03 |
| 修稿时间： | 2006-06-14 |
Retargetable Program Analysis System Based on Intermediate Representation |
| |
| ZHENG Yaohai,CHEN Wei,ZHAO Chen.Retargetable Program Analysis System Based on Intermediate Representation[J].Computer Engineering,2007,33(9):66-68,71. |
| |
| Authors: | ZHENG Yaohai CHEN Wei ZHAO Chen |
| |
| Affiliation: | Lab for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing 100080 |
| |
| Abstract: | This paper presents a compiler auxiliary toolkit(COA)using analysis-specific IR.It separates the analysis implementation from development of compiler infrastructure.This paper illustrates its capability through its usage in generation of function call graph and loop invariant detection. |
| |
| Keywords: | Static analysis Dynamic analysis Intermediate representation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
