PrototypeCommon
PLSysSec/sys
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
- Owner
- PLSysSec (organization)
- Stars
- Stars: 238
- Forks
- Forks: 43
- Language
- LLVM
- License
- GPL-2.0
- Created
- 2020
- Topics
- symbolic-executionbug-findingstatic-analysissecurity
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by PLSysSec
All 4 repos by PLSysSec- PLSysSec/haybaleStars: 609RustAlpha
- PLSysSec/rlboxStars: 320C++Alpha
- PLSysSec/FaCTStars: 210OCamlPrototype
Nearby in LLVM
All LLVM repos- arm/arm-toolchainStars: 260LLVMAlpha
- picolisp/pil21Stars: 256LLVMAlpha
- smlsharp/smlsharpStars: 249LLVMPrototype
- vixlang/Vix-langStars: 236LLVMPrototype
- ahmedbougacha/daggerStars: 227LLVMPrototype
- Xilinx/llvm-aieStars: 216LLVMPrototype