SoftSec-KAIST / CodeAlchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
☆239Updated 5 years ago
Alternatives and similar repositories for CodeAlchemist:
Users that are interested in CodeAlchemist are comparing it to the libraries listed below
- Fuzzing JavaScript Engines with Aspect-preserving Mutation☆225Updated last year
- Inferred Model-based Fuzzer☆111Updated 3 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆152Updated 3 years ago
- The Harvest of V8 regress.☆136Updated 4 years ago
- 2018s-IS521☆8Updated 6 years ago
- MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"☆211Updated 4 years ago
- ☆248Updated 5 years ago
- ☆302Updated 3 years ago
- An AFL implementation with UnTracer (our coverage-guided tracer)☆124Updated 2 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆133Updated 2 years ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆344Updated last year
- A DOM fuzzer☆146Updated 2 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆222Updated 3 weeks ago
- A fuzzing tool for closed-source binaries based on Unicorn and LibFuzzer☆343Updated 5 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆88Updated 11 months ago
- ctf exploit codes or writeups☆155Updated 4 months ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆215Updated 6 months ago
- Janus: a state-of-the-art file system fuzzer on Linux☆218Updated 5 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆177Updated last year
- fuzzing related paper☆226Updated 3 years ago
- A Kernel fuzzer focusing on race bugs☆364Updated 5 years ago
- ☆82Updated 6 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆299Updated 2 years ago
- Fuzzer for Linux Kernel Drivers☆378Updated 2 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆81Updated 6 years ago
- Source code of HAL-fuzz☆147Updated 4 years ago
- My fork of American Fuzzy Lop☆61Updated 6 years ago
- ☆381Updated 5 years ago
- A DOM fuzzer.☆79Updated 3 years ago
- Improving AFL by using Intel PT to collect branch information☆292Updated 5 years ago