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: 

• TP311