Top 5.6% on proxy.golang.org
proxy.golang.org : github.com/galoisinc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/galoisinc/yapall
Keywords:
datalog
, llvm
, pointer-analysis
, program-analysis
, static-analysis
License: BSD-3-Clause
Latest release: about 2 years ago
First release: about 2 years ago
Stars: 66 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago
Loading...
Readme
Loading...