-
Notifications
You must be signed in to change notification settings - Fork 148
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
- Reference Material
- Getting Started:
- Building PhASAR
- Using PhASAR with Docker
- A few uses of PhASAR
- Coding Conventions
- Contributing to PhASAR
- Errors and bug reporting
- Update to Newer LLVM Versions
- OS Support
- FAQ