Skip to content

Useful Literature

Jump to bottom
Philipp Schubert edited this page Dec 4, 2018 · 15 revisions

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 a user's background.

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
Clone this wiki locally