swtv-kaist / CROWNLinks
CROWN: Concolic testing for Real-wOrld softWare aNalysis
☆3Updated 6 years ago
Alternatives and similar repositories for CROWN
Users that are interested in CROWN are comparing it to the libraries listed below
Sorting:
- The repo for V0Finder (Security 21)☆26Updated 3 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 5 months ago
- ☆33Updated 6 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆47Updated 9 months ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆154Updated 3 years ago
- ☆28Updated last year
- ☆20Updated 4 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆178Updated last year
- The Sparrow Static Analyzer☆126Updated 3 years ago
- ☆10Updated 5 years ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆16Updated 3 weeks ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆80Updated 6 years ago
- UT based automated fuzz driver generation☆166Updated 3 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆78Updated this week
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- ☆41Updated 2 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆88Updated last year
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- ☆11Updated last year
- autofz: Automated Fuzzer Composition at Runtime☆78Updated last year
- ☆66Updated 8 years ago
- Software vulnerabilities data set☆23Updated 5 years ago
- ☆43Updated 8 months ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆240Updated 5 years ago
- ☆22Updated 2 years ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- Configurable instrumentation of LLVM bitcode☆34Updated 3 months ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆223Updated 3 months ago