swtv-kaist / CROWN
CROWN: Concolic testing for Real-wOrld softWare aNalysis
☆3Updated 5 years ago
Alternatives and similar repositories for CROWN:
Users that are interested in CROWN are comparing it to the libraries listed below
- ☆33Updated 6 years ago
- The Sparrow Static Analyzer☆126Updated 3 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆45Updated last year
- ☆28Updated last year
- The repo for V0Finder (Security 21)☆26Updated 3 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆47Updated 6 months ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆15Updated last year
- ☆19Updated 3 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated last month
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆87Updated 10 months ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆81Updated 6 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- ☆11Updated 9 months ago
- ☆10Updated 5 years ago
- UT based automated fuzz driver generation☆166Updated 2 months ago
- ☆20Updated 6 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆12Updated 5 years ago
- User Guided API Misuse Detection☆28Updated 2 years ago
- A database of real-world C/C++ defaults to experiment in software engineering research☆47Updated last year
- ☆26Updated last year
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆39Updated 4 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆75Updated this week
- CoREBench: Errors in Find, Grep, Make☆14Updated 9 years ago
- ☆39Updated 5 months ago
- Public version of CNEPS☆21Updated 3 months ago
- MUSIC: MUtation analySIs tool with High Configurability and Extensibility☆17Updated last year
- ☆39Updated last year
- ☆28Updated last year
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago