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
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆15Updated last year
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated last year
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 7 months ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 2 months ago
- ☆19Updated 3 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆81Updated 6 years ago
- The repo for V0Finder (Security 21)☆26Updated 3 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- ☆28Updated last year
- ☆11Updated 10 months ago
- ☆39Updated 2 years ago
- CREST extension that supports non-linear arithmetic☆14Updated 11 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Updated 7 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- ☆10Updated 5 years ago
- Fuzzing with controlled compilation☆28Updated 2 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆152Updated 3 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆76Updated last week
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- The Sparrow Static Analyzer☆126Updated 3 years ago
- UT based automated fuzz driver generation☆166Updated last week
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆12Updated 5 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- ☆53Updated 7 years ago
- ☆39Updated 4 years ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 2 months ago