PrototypeCommon
Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
- Owner
- Generative-Program-Analysis (organization)
- Stars
- Stars: 151
- Forks
- Forks: 9
- Language
- LLVM
- License
- None
- Created
- 2022
- Topics
- compilermetaprogrammingmulti-stage-programmingscalasymbolic-executionsymbolic-execution-engine
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in LLVM
All LLVM repos- ZERO-A-ONE/AngrCTF_FITMStars: 156LLVMPrototype
- grinisrit/noaStars: 156LLVMPrototype
- Aethereux/Hikari-LLVM19Stars: 153LLVMPrototype
- schism-dev/schismStars: 150LLVMPrototype
- Lakr233/TreeNewBeeStars: 150LLVMPrototype
- remotemcu/adin-llvmStars: 145LLVMPrototype