A Precise Framework for Source-Level Control-Flow Analysis

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

2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)（2021）

引用 6|浏览4

暂无评分

摘要

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

查看译文

关键词

Control flow,Attributed Grammars,Static Analysis,Declarative,Dataflow

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要