-
Notifications
You must be signed in to change notification settings - Fork 150
Useful Literature
Fabian Schiebel edited this page Jun 28, 2025
·
15 revisions
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)
- Precise interprocedural dataflow analysis via graph reachability
- Precise interprocedural dataflow analysis with applications to constant propagation
- Practical extensions to the IFDS algorithm
- Home
- Building PhASAR
- Getting Started:
- Using PhASAR with Docker
- FAQ
- Tutorials
- Contributing
- Reference Material
- Update to Newer LLVM Versions