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, one may require to read the accompanying material, depending on the one's background.

Papers on PhASAR

• PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ (online version)
• PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ (pdf version)
• Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
• Know Your Analysis: How Instrumentation Aids Understanding Static Analysis (preprint)

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