2026-07-24T19:04:59Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6120 2024-03-06T10:38:02Z ddc:004 open_access

Towards Ontology-Based Program Analysis Zhao, Yue Chen, Guoyang Liao, Chunhua Shen, Xipeng ontology compiler program analysis 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). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Yue Zhao and Guoyang Chen and Chunhua Liao and Xipeng Shen 2016 Is Part Of LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2016.26 urn:nbn:de:0030-drops-61201 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.26 eng https://creativecommons.org/licenses/by/3.0/legalcode