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

• 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)
• Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++ (online version)
• Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++ (pdf version)
• Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++ (online version)
• Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++ (pdf version)
• Static data-flow analysis for software product lines in C (online version)
• Static data-flow analysis for software product lines in C (pdf version)
• Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report (online version)
• Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report (pdf version)

• Static Analysis with SOOT and PhASAR (pdf version)
• Static Analysis with SOOT and PhASAR (YouTube)

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

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

• Monotone data flow analysis frameworks

• Two approaches to interprocedural data flow analysis

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