Useful Literature

How to use this material

This list of literature is intended to serve as an entry point for interested users. Before writing a data-flow analysis using solver X, the accompanying material may be read as required, depending on the user's background.

Papers on PhASAR

• PhASAR: An Inter-Procedural Static Analysis Framework for C/C++

IFDS/IDE

• Precise interprocedural dataflow analysis via graph reachability
• Precise interprocedural dataflow analysis with applications to constant propagation
• Practical extensions to the IFDS algorithm

WPDS (currently under development in PhASAR)

• Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis
• Improving Pushdown Systems Model Checking
• Extended Weighted Pushdown Systems

Monotone Framework

• Monotone data flow analysis frameworks

Call-string versus summary-based approach (for inter-procedural analysis)

• Two approaches to interprocedural data flow analysis

Text books on program/data-flow analysis

• Principles of program analysis
• Data Flow Analysis: Theory and Practice