lcatro / klee-fl
KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
☆29Updated 5 years ago
Alternatives and similar repositories for klee-fl:
Users that are interested in klee-fl are comparing it to the libraries listed below
- ☆24Updated last year
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆64Updated 3 years ago
- ☆34Updated 3 years ago
- blog☆16Updated 4 years ago
- aurora-d☆20Updated 2 years ago
- adobe afdko fuzz☆41Updated 5 years ago
- ☆41Updated 7 years ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- My Material for the HITB presentation☆35Updated 4 years ago
- Corpus set used by DIE☆39Updated 4 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆15Updated 4 years ago
- exploit code for a bpf heap overflow vulnerability☆27Updated 5 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- Tools released in CSS 2019☆38Updated 5 years ago
- Code coverage calculation/monitoring tool for Corpus Distillation☆16Updated 8 years ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- ☆19Updated 6 years ago
- My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.☆13Updated 6 years ago
- ☆16Updated 6 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Slow llvm tracing for the masses☆14Updated 4 years ago
- ☆13Updated 3 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆44Updated 3 years ago
- A binary-only coverage-guided fuzzer based on AFL and e9patch☆18Updated 4 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- An IDA_Wrapper for linux, shipped with an Function Identifier. It works well with Driller on static linked binaries.☆14Updated 5 years ago
- Fuzzilli For quickjs☆28Updated 5 years ago
- ☆44Updated 4 years ago