Author Login Editor-in-Chief Peer Review Editor Work Office Work

Computer Engineering ›› 2007, Vol. 33 ›› Issue (09): 66-68,7.

• Software Technology and Database • Previous Articles     Next Articles

Retargetable Program Analysis System Based on Intermediate Representation

ZHENG Yaohai, CHEN Wei, ZHAO Chen   

  1. (Lab for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing 100080)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-05-05 Published:2007-05-05

基于中间表示的可复用程序分析系统

郑瑶海,陈 伟,赵 琛   

  1. (中国科学院软件研究所互联网技术实验室,北京 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.


Key words: Static analysis, Dynamic analysis, Intermediate representation

摘要: 采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离,利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后,用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。

关键词: 静态分析, 动态分析, 中间表示

CLC Number: