PrototypeCommune
PLSysSec/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
- Propriétaire
- PLSysSec (organisation)
- Étoiles
- Étoiles : 238
- Forks
- Forks : 43
- Langage
- LLVM
- Licence
- GPL-2.0
- Création
- 2020
- Sujets
- symbolic-executionbug-findingstatic-analysissecurity
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de PLSysSec
Les 4 dépôts de PLSysSec- PLSysSec/haybaleÉtoiles : 609RustAlpha
- PLSysSec/rlboxÉtoiles : 320C++Alpha
- PLSysSec/FaCTÉtoiles : 210OCamlPrototype
D’autres dépôts LLVM
Tous les dépôts LLVM- arm/arm-toolchainÉtoiles : 260LLVMAlpha
- picolisp/pil21Étoiles : 256LLVMAlpha
- smlsharp/smlsharpÉtoiles : 249LLVMPrototype
- vixlang/Vix-langÉtoiles : 236LLVMPrototype
- ahmedbougacha/daggerÉtoiles : 227LLVMPrototype
- Xilinx/llvm-aieÉtoiles : 216LLVMPrototype