AlphaUncommon
seahorn/crab
A library for building abstract interpretation-based analyses.
- Owner
- seahorn (organization)
- Stars
- Stars: 259
- Forks
- Forks: 33
- Language
- C++
- License
- Apache-2.0
- Created
- 2017
- Topics
- static-analysisabstract-interpretationprogram-analysisinvariantsverification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by seahorn
All 4 repos by seahorn- seahorn/seahornStars: 480CAlpha
- seahorn/clamStars: 291CAlpha
- seahorn/sea-dsaStars: 171C++Prototype
Nearby in C++
All C++ repos- gaoj0017/RaBitQStars: 259C++Alpha
- getsentry/sentry-godotStars: 259C++Alpha
- Low-Zi-Hong/ESP32s3-LLM-ClusterStars: 259C++Alpha
- abique/tmfsStars: 259C++Alpha
- feuvan/opencore-amr-iOSStars: 259C++Alpha
- shramov/json2pbStars: 259C++Alpha