-
Notifications
You must be signed in to change notification settings - Fork 152
Useful Literature
Philipp Schubert edited this page Oct 30, 2019
·
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, one may require to read the accompanying material, depending on the one's 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)
- 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