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 ...
详细信息
ISBN:
(纸本)9781467375290
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-awarecontrolflowgraph 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-flowgraphs. Such preprocessor-awarecontrol-flowgraphs may serve as the basis for subsequent preprocessor-awarecontrol and data flow analyses.
暂无评论