A Precise Framework for Source-Level Control-Flow Analysis

Idriss Riouak; Christoph Reichenbach; Görel Hedin; Niklas Fors

doi:10.1109/SCAM52516.2021.00009

A Precise Framework for Source-Level Control-Flow Analysis

Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

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	Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021
Publisher	IEEE - Institute of Electrical and Electronics Engineers Inc.
Pages	1-11
Number of pages	11
ISBN (Electronic)	978-1-6654-4897-0
ISBN (Print)	978-1-6654-4898-7
DOIs	https://doi.org/10.1109/SCAM52516.2021.00009
Publication status	Published - 2021
Event	IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) - Luxembourg, Luxembourg Duration: 2021 Sept 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

Free keywords

Attributed Grammars
Control flow
Dataflow
Declarative
Static Analysis

Access to Document

10.1109/SCAM52516.2021.00009Licence: CC BY

1 Paper in conference proceeding

JFeature: Know Your Corpus
Riouak, I., Hedin, G., Reichenbach, C. & Fors, N., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 236-241 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

2 Active

Explainable Declarative Programming Analysis
Riouak, I. (Researcher), Hedin, G. (Supervisor), Reichenbach, C. (Supervisor) & Fors, N. (Supervisor)
2019/11/01 → …
Project: Dissertation
SMARTY: Säkra mjukvaruuppdateringar för den smarta staden
Hell, M. (PI), Magnusson, B. (PI), Gehrmann, C. (CoI), Paladi, N. (Researcher), Karlsson, L. (Researcher), Sönnerup, J. (Researcher), Johnsson, B. A. (Researcher), Hedin, G. (Researcher), Nordahl, M. (Researcher), Pagnin, E. (Researcher), Kundu, R. (Researcher), Åkesson, A. (Researcher), Stankovski Wagner, P. (Researcher) & Ramezanian, S. (Researcher)
Swedish Foundation for Strategic Research, SSF
2018/03/01 → 2024/12/31
Project: Research

Cite this

@inproceedings{d204ecfb469c4d87b25c8549e606a980,

title = "A Precise Framework for Source-Level Control-Flow Analysis",

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.",

keywords = "Attributed Grammars, Control flow, Dataflow, Declarative, Static Analysis",

author = "Idriss Riouak and Christoph Reichenbach and G{\"o}rel Hedin and Niklas Fors",

year = "2021",

doi = "10.1109/SCAM52516.2021.00009",

language = "English",

isbn = "978-1-6654-4898-7",

pages = "1--11",

booktitle = "Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021",

publisher = "IEEE - Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) ; Conference date: 27-09-2021 Through 28-12-2021",

}

Riouak, I , Reichenbach, C , Hedin, G & Fors, N 2021, A Precise Framework for Source-Level Control-Flow Analysis. in Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021. IEEE - Institute of Electrical and Electronics Engineers Inc., pp. 1-11, IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), Luxembourg, Luxembourg, 2021/09/27. https://doi.org/10.1109/SCAM52516.2021.00009

A Precise Framework for Source-Level Control-Flow Analysis. / Riouak, Idriss ; Reichenbach, Christoph ; Hedin, Görel et al.
Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021. IEEE - Institute of Electrical and Electronics Engineers Inc., 2021. p. 1-11.

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

TY - GEN

T1 - A Precise Framework for Source-Level Control-Flow Analysis

AU - Riouak, Idriss

AU - Reichenbach, Christoph

AU - Hedin, Görel

AU - Fors, Niklas

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Attributed Grammars

KW - Control flow

KW - Dataflow

KW - Declarative

KW - Static Analysis

U2 - 10.1109/SCAM52516.2021.00009

DO - 10.1109/SCAM52516.2021.00009

M3 - Paper in conference proceeding

AN - SCOPUS:85117610756

SN - 978-1-6654-4898-7

SP - 1

EP - 11

BT - Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021

PB - IEEE - Institute of Electrical and Electronics Engineers Inc.

T2 - IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)

Y2 - 27 September 2021 through 28 December 2021

ER -

A Precise Framework for Source-Level Control-Flow Analysis

Abstract

Conference

Subject classification (UKÄ)

Free keywords

Access to Document

Fingerprint

Research output

JFeature: Know Your Corpus

Projects

Explainable Declarative Programming Analysis

SMARTY: Säkra mjukvaruuppdateringar för den smarta staden

Cite this