PrototypeCommune
SVF-tools/Software-Security-Analysis
Static Analysis Course
- Propriétaire
- SVF-tools (compte personnel)
- Étoiles
- Étoiles : 101
- Forks
- Forks : 39
- Langage
- LLVM
- Licence
- GPL-3.0
- Création
- 2024
- Sujets
- abstract-interpretationdata-flow-analysisstatic-analysissymbolic-executionstatic-analysis-coursevalue-flow
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de SVF-tools
Les 3 dépôts de SVF-tools- SVF-tools/SVFÉtoiles : 1 716C++Bêta
- SVF-tools/Software-Analysis-StudioÉtoiles : 218C++Prototype
D’autres dépôts LLVM
Tous les dépôts LLVM- pgarba/SiMBA-Étoiles : 115LLVMPrototype
- Xilinx/nanotubeÉtoiles : 110LLVMPrototype
- IITH-Compilers/IR2VecÉtoiles : 105LLVMPrototype