Projects per year
Abstract
This paper presents INTRACFG, a declarative and language-independent framework for constructing precise intraprocedural control-flow graphs (CFGs) based on the reference attribute grammar system JastAdd. Unlike most other frameworks, which build CFGs on an Intermediate Representation level, e.g., bytecode, our approach superimposes the CFGs on the Abstract Syntax Tree, enabling accurate client analysis. Moreover, INTRACFG overcomes expressivity limitations of an earlier RAG-based framework, allowing the construction of AST-Unrestricted CFGs: CFGs whose shape is not confined to the AST structure. We evaluate the expressivity of INTRACFG with INTRAJ, an application of INTRACFG to Java 7, by comparing two data flow analyses built on top of INTRAJ against tools from academia and from the industry. The results demonstrate that INTRAJ is effective at building precise and efficient CFGs and enables analyses with competitive performance.
Original language | English |
---|---|
Title of host publication | 21st IEEE International Working Conference on Source Code Analysis and Manipulation |
Publisher | IEEE - Institute of Electrical and Electronics Engineers Inc. |
Pages | 1-11 |
ISBN (Electronic) | 978-1-6654-4897-0 |
ISBN (Print) | 978-1-6654-4898-7 |
DOIs | |
Publication status | Published - 2021 Sep |
Event | IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) - Luxembourg, Luxembourg Duration: 2021 Sep 27 → 2021 Dec 28 |
Conference
Conference | IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) |
---|---|
Country/Territory | Luxembourg |
City | Luxembourg |
Period | 2021/09/27 → 2021/12/28 |
Subject classification (UKÄ)
- Computer Science
Fingerprint
Dive into the research topics of 'A Precise Framework for Source-Level Control-Flow Analysis'. Together they form a unique fingerprint.Projects
- 2 Active
-
Explainable Declarative Programming Analysis
Riouak, I., Hedin, G., Reichenbach, C. & Fors, N.
2019/11/01 → …
Project: Dissertation
-
SMARTY: Säkra mjukvaruuppdateringar för den smarta staden
Hell, M., Magnusson, B., Gehrmann, C., Paladi, N., Karlsson, L., Sönnerup, J., Johnsson, B. A., Hedin, G., Nordahl, M., Pagnin, E., Kundu, R. & Åkesson, A.
Swedish Foundation for Strategic Research, SSF
2018/03/01 → 2023/02/28
Project: Research