PrototypeCommon
plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
- Owner
- plast-lab (organization)
- Stars
- Stars: 101
- Forks
- Forks: 14
- Language
- C++
- License
- MIT
- Created
- 2014
- Topics
- llvmdatalogcc-plus-plusanalysis-frameworkpointer-analysis
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by plast-lab
All 2 repos by plast-lab- plast-lab/doopStars: 228JavaPrototype
Nearby in C++
All C++ repos- kamb205/KB-RPCS3Stars: 101C++Prototype
- gpu-verifier/sentrywardStars: 101C++Prototype
- RoberixStudios/rpcs3-port-for-ps4Stars: 101C++Prototype
- mhroth/jasiohostStars: 101C++Prototype
- wired/colloquypushStars: 101C++Prototype
- vjeux/jsppStars: 101C++Prototype