PrototypeCommon
GaloisInc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
- Owner
- GaloisInc (organization)
- Stars
- Stars: 153
- Forks
- Forks: 20
- Language
- C++
- License
- BSD-3-Clause
- Created
- 2022
- Topics
- program-analysisstatic-analysispointer-analysissouffledatalogllvm
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by GaloisInc
All 15 repos by GaloisInc- GaloisInc/cryptolStars: 1,227HaskellBeta
- GaloisInc/HaLVMStars: 1,069HaskellBeta
- GaloisInc/crucibleStars: 781HaskellBeta
- GaloisInc/saw-scriptStars: 525HaskellAlpha
- GaloisInc/ivoryStars: 417HaskellAlpha
- GaloisInc/swankyStars: 366SieveAlpha
Nearby in C++
All C++ repos- Vrroom/psackingStars: 153C++Prototype
- nv-tlabs/wosxStars: 153C++Prototype
- HumpbackLab/tidesenseStars: 153C++Prototype
- practicalarduino/SHT1xStars: 153C++Prototype
- cocos2d/cocos2d-x-extensionsStars: 153C++Prototype
- sol-prog/Perlin_NoiseStars: 153C++Prototype