PrototypeCommon
seahorn/sea-dsa
Context, field, and array-sensitive heap analysis for LLVM based on DSA.
- Owner
- seahorn (organization)
- Stars
- Stars: 171
- Forks
- Forks: 37
- Language
- C++
- License
- None
- Created
- 2017
- Topics
- llvmpointer-analysisstatic-analysisverification
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by seahorn
All 4 repos by seahorn- seahorn/seahornStars: 480CAlpha
- seahorn/clamStars: 291CAlpha
- seahorn/crabStars: 259C++Alpha
Nearby in C++
All C++ repos- tenstorrent/ttsimStars: 171C++Prototype
- Open-BFME/Open-BFME-1Stars: 171C++Prototype
- ShizCalev/MGSPatriotFixStars: 171C++Prototype
- cslarsen/stack-machineStars: 171C++Prototype
- ararog/Unrar4iOSStars: 171C++Prototype
- yoggy/sendoscStars: 171C++Prototype