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

Retargetable Program Analysis System Based on Intermediate Representation

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

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.