AlphaUncommon
seahorn/clam
Static Analyzer for LLVM based on the Crab Abstract Interpretation Library
- Owner
- seahorn (organization)
- Stars
- Stars: 291
- Forks
- Forks: 41
- Language
- C
- License
- Apache-2.0
- Created
- 2017
- Topics
- llvmprogram-analysisabstract-interpretationinvariantsstatic-analysissoftware-verification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by seahorn
All 4 repos by seahorn- seahorn/seahornStars: 480CAlpha
- seahorn/crabStars: 259C++Alpha
- seahorn/sea-dsaStars: 171C++Prototype
Nearby in C
All C repos- opensensor/lightNVRStars: 291CAlpha
- RocketGod-git/RocketGods-SubGHz-ToolkitStars: 291CAlpha
- codepdbh/nfsmw-androidStars: 291CAlpha
- tsuna/contextswitchStars: 291CAlpha
- fanchy/fflibStars: 291CAlpha
- cbuchner1/ccminerStars: 291CAlpha