Towards Ontology-Based Program Analysis
Towards Ontology-Based Program Analysis
复制标题
DOI：
10.4230/lipics.ecoop.2016.26
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Yue Zhao;Guoyang Chen;C. Liao;Xipeng Shen
中科院分区：
文献类型：
--
作者：
Yue Zhao;Guoyang Chen;C. Liao;Xipeng Shen
程序分析对于计划优化，调试和许多其他任务至关重要。但是，对普通用户来说，开发程序分析一直是一个充满挑战且容易出错的过程。声明性计划分析表明，有望显着提高计划分析的生产率。但是，当前声明的计划分析在支持分析工具之间的合作，指导程序优化之间受到一些主要限制，并且通常需要大量精力来重复程序进行预处理。在这项工作中，我们主张将本体的整合到声明的计划分析中。为了标准化域中概念的定义以及域中知识的表示，本体学提供了一种有希望的方法来解决当前声明性计划分析的局限性。我们开发了一个名为PATO的原型框架，用于对基于本体的程序表示进行计划分析。六个程序分析的实验证实了本体论对现有声明计划分析的补充的潜力。它支持多个分析，而无需单独的程序进行预处理，促进两个编译器之间的合作livices分析，并有效指导图形处理单元（GPU）的数据放置优化。
Program analysis is fundamental for program optimizations, debugging, and many other tasks. But developing program analyses has been a challenging and error-prone process for general users. Declarative program analysis has shown the promise to dramatically improve the productivity in the development of program analyses. Current declarative program analysis is however subject to some major limitations in supporting cooperations among analysis tools, guiding program optimizations, and often requires much effort for repeated program preprocessing. In this work, we advocate the integration of ontology into declarative program analysis. As a way to standardize the definitions of concepts in a domain and the representation of the knowledge in the domain, ontology offers a promising way to address the limitations of current declarative program analysis. We develop a prototype framework named PATO for conducting program analysis upon ontology-based program representation. Experiments on six program analyses confirm the potential of ontology for complementing existing declarative program analysis. It supports multiple analyses without separate program preprocessing, promotes cooperative Liveness analysis between two compilers, and effectively guides a data placement optimization for Graphic Processing Units (GPU).