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
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: 11 days ago
Loading...
Readme
Loading...