https://github.com/galoisinc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
https://github.com/galoisinc/yapall
datalog llvm pointer-analysis program-analysis static-analysis
Last synced: 3 months ago
JSON representation
A precise and scalable pointer analysis for LLVM, written in Ascent
- Host: GitHub
- URL: https://github.com/galoisinc/yapall
- Owner: GaloisInc
- License: bsd-3-clause
- Created: 2023-08-04T13:29:36.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2025-03-01T15:35:42.000Z (7 months ago)
- Last Synced: 2025-06-07T04:36:48.013Z (4 months ago)
- Topics: datalog, llvm, pointer-analysis, program-analysis, static-analysis
- Language: C
- Homepage: https://galoisinc.github.io/yapall/
- Size: 3.57 MB
- Stars: 66
- Watchers: 6
- Forks: 4
- Open Issues: 20
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
README
# Yet Another Pointer Analysis for LLVM
Yapall is a precise and scalable pointer analysis for LLVM. The output of
Yapall can be used for a variety of program analysis tasks, including:
- Creation of callgraphs with precise handling of indirect function calls and
virtual method calls
- Precise inter-procedural control- and data-flow analysis
- Answering may-alias queries
Yapall is k-callsite sensitive for configurable k, field-, array-, and
flow-insensitive, and performs on-the-fly callgraph construction. Yapall is
written using [Ascent][ascent] and so is highly parallel.
For more information, see [the documentation](./doc).
[ascent]: https://github.com/s-arash/ascent
## Acknowledgments
This material is based upon work supported by the Defense Advanced Research
Projects Agency (DARPA) under Contract No. N66001-21-C-4023. Any opinions,
findings and conclusions or recommendations expressed in this material are
those of the author(s) and do not necessarily reflect the views of DARPA.
## Distribution
DISTRIBUTION STATEMENT A. Approved for public release: distribution unlimited.