swtv-kaist / CROWN
CROWN: Concolic testing for Real-wOrld softWare aNalysis
☆3Updated 5 years ago
Related projects: ⓘ
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆41Updated 6 months ago
- ☆32Updated 5 years ago
- ☆11Updated 3 months ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆40Updated last year
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆13Updated last year
- ☆28Updated last year
- The Sparrow Static Analyzer☆122Updated 3 years ago
- ☆34Updated 3 months ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 3 months ago
- american fuzzy lop - a security-oriented fuzzer☆9Updated 6 months ago
- The repo for V0Finder (Security 21)☆24Updated 3 years ago
- UT based automated fuzz driver generation☆164Updated last month
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆60Updated 2 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆79Updated 5 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆83Updated 4 months ago
- ☆10Updated 4 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆12Updated 5 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆194Updated 3 weeks ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆19Updated 5 months ago
- CREST extension that supports non-linear arithmetic☆14Updated 11 years ago
- Symbolic Program Slicing with LLVM☆74Updated 4 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆70Updated this week
- ☆19Updated 3 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆30Updated 4 months ago
- User Guided API Misuse Detection☆26Updated last year
- ☆22Updated last year
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆148Updated 2 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated 9 months ago
- ☆38Updated last year