PrototypeCommune
Generative-Program-Analysis/GenSym
A high-performance, parallel, compilation-based symbolic execution engine
- Propriétaire
- Generative-Program-Analysis (organisation)
- Étoiles
- Étoiles : 151
- Forks
- Forks : 9
- Langage
- LLVM
- Licence
- Aucune
- Création
- 2022
- Sujets
- compilermetaprogrammingmulti-stage-programmingscalasymbolic-executionsymbolic-execution-engine
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts LLVM
Tous les dépôts LLVM- ZERO-A-ONE/AngrCTF_FITMÉtoiles : 156LLVMPrototype
- grinisrit/noaÉtoiles : 156LLVMPrototype
- Aethereux/Hikari-LLVM19Étoiles : 153LLVMPrototype
- schism-dev/schismÉtoiles : 150LLVMPrototype
- Lakr233/TreeNewBeeÉtoiles : 150LLVMPrototype
- remotemcu/adin-llvmÉtoiles : 145LLVMPrototype