×

第页

swMATH标识: 669
软件作者: 马丁,弗洛里安
说明: 一个高效的程序分析器生成器。为了生成高质量的代码,编译器必须执行提高效率的程序转换。这些转换通常依赖于前面的程序分析。这些分析,即已知的数据流分析或抽象解释,可能从“简单”的过程内位向量框架到非常复杂的过程内别名分析。它们的实施可能既困难又昂贵。通过开发抽象解释和数据流分析的基础理论,分析工具的实现和设计可以得到工具的支持。抽象解释提供了与语言语义的关系,并允许系统地推导可证明正确和终结的分析。数据流分析提供了许多有效的算法,如不动点迭代。本文所描述的程序分析器生成器PAG试图提供两者兼得的优点,规范语言基于抽象解释的干净理论和数据流分析理论的高效实现方法。PAG有一个高级函数输入语言来指定数据流分析。它提供了复杂数据结构的生成,因此不局限于位向量问题。PAG生成的过程间分析器可以很容易地集成到现有的编译器中。PAG已成功地用于ESPRIT项目比较,为工业级的ANSI-C和Fortran90编译器生成多个分析器(包括别名分析和常数传播),现在由分拆公司AbsInt销售。PAG的简化版本可以通过Web进行交互测试。
主页: http://link.springer.com/article/10.1007%2FS10090005017
关键词: 数据流分析;分析仪的规格和型号;抽象解释;过程间分析;编译器构造
相关软件: 忍者;再见;再见;肉冻;可口可乐;J变压器;序列日志;leanTAP公司;OMRS公司;aiT公司;MPI/MPICH公司;菲帕克;平板电脑;FFTW公司;布拉斯;拉帕克;阿特拉斯;基纳;PVS公司
引用于: 20种出版物

按年份列出的引文