SCAM 2015

2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM), September 27-28, 2015, Bremen, Germany

Desktop Layout

Code and API Transformation
HS 1010, Chair: Raghavan Komondoor
From Preprocessor-Constrained Parse Graphs to Preprocessor-Constrained Control Flow
Dierk Lüdemann and Rainer Koschke
(University of Bremen, Germany)
Abstract: Preprocessor-aware static analysis tools are needed for C Code to gain sound knowledge about the interference among all conditionally compiled program parts. We provide formal descriptions and algorithms to construct a preprocessor- aware control flow graph from preprocessor-aware parse graphs of SuperC. Based on the structure of parse graphs capturing the syntax nodes constrained by preprocessor constraints, we show how to model, formalize, and compute preprocessor-aware intra-procedural control-flow graphs. Such preprocessor-aware control-flow graphs may serve as the basis for subsequent preprocessor-aware control and data flow analyses.


Time stamp: 2019-06-24T21:59:14+02:00