| 基于中间表示的可复用程序分析系统 |
| 郑瑶海; 陈伟; 赵琛
|
| 2007
|
| 发表期刊 | 计算机工程
 |
| 期号 | 9页码:66-68,71 |
| 摘要 | 采用一种语言独立AST中间格式以便把程序的分析算法同编译器内部表示分离,利用这种格式设计与实现了Compiler Auxiliary Toolkit(COA)系统框架。COA可同时应用于静态分析算法和动态分析算法。在介绍了COA框架之后,用实例说明了如何利用COA框架进行函数调用图生成算法的静态分析和循环不变量的动态分析。 |
| 关键词 | 静态分析
动态分析
中间表示
|
| 部门归属 | 中国科学院软件研究所互联网技术实验室,中国科学院软件研究所互联网技术实验室,中国科学院软件研究所互联网技术实验室 北京100080,北京100080,北京100080
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11396
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
郑瑶海,陈伟,赵琛. 基于中间表示的可复用程序分析系统[J]. 计算机工程,2007(9):66-68,71.
|
| APA |
郑瑶海,陈伟,&赵琛.(2007).基于中间表示的可复用程序分析系统.计算机工程(9),66-68,71.
|
| MLA |
郑瑶海,et al."基于中间表示的可复用程序分析系统".计算机工程 .9(2007):66-68,71.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论