isstac / kelinci
AFL-based fuzzing for Java
☆236Updated 5 years ago
Alternatives and similar repositories for kelinci:
Users that are interested in kelinci are comparing it to the libraries listed below
- Phosphor: Dynamic Taint Tracking for the JVM☆173Updated 3 months ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆90Updated 6 years ago
- A dynamic symbolic analysis tool for Java☆116Updated 5 years ago
- FairFuzz: AFL extension targeting rare branches☆241Updated 6 years ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆695Updated this week
- AFLFast (extends AFL with Power Schedules)☆417Updated last year
- ☆302Updated 3 years ago
- Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)☆509Updated 3 years ago
- IFDS/IDE Solver for Soot and other frameworks☆240Updated last year
- coverage guided fuzz testing for java☆230Updated 3 years ago
- Directed Greybox Fuzzing with AFL☆527Updated last year
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆133Updated 2 years ago
- ☆53Updated 6 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- Improving AFL by using Intel PT to collect branch information☆290Updated 5 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆637Updated 2 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆176Updated 11 months ago
- A grammar-based custom mutator for AFL++☆251Updated 9 months ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- ☆104Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆476Updated 9 months ago
- ☆81Updated 6 years ago
- source code for savior fuzzer☆127Updated 4 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆87Updated 2 months ago
- Pythia (extends AFL with Predictions)☆63Updated 3 years ago
- fuzzing related paper☆226Updated 3 years ago
- ☆249Updated 5 years ago