lcatro / klee-fl
KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
☆29Updated 6 years ago
Alternatives and similar repositories for klee-fl:
Users that are interested in klee-fl are comparing it to the libraries listed below
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆65Updated 3 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- adobe afdko fuzz☆41Updated 5 years ago
- aurora-d☆20Updated 3 years ago
- ☆19Updated 6 years ago
- blog☆16Updated 5 years ago
- ☆34Updated 3 years ago
- Tools released in CSS 2019☆38Updated 5 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆44Updated 3 years ago
- My Material for the HITB presentation☆35Updated 4 years ago
- 2019 Advent Calendar, vmware pwnables☆49Updated 4 years ago
- ☆13Updated 3 years ago
- exploit code for a bpf heap overflow vulnerability☆27Updated 5 years ago
- AFLplusplus + libprotobuf-mutator = love☆83Updated 5 years ago
- afl源码分析☆13Updated 6 years ago
- ☆41Updated 7 years ago
- ☆26Updated last year
- This is the project of LearnAFL.☆27Updated 4 years ago
- ☆16Updated 7 years ago
- AFL fuzzing coverage CFG visualization☆31Updated 7 years ago
- ghidra scripts☆15Updated 4 years ago
- Slow llvm tracing for the masses☆14Updated 5 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆15Updated 4 years ago
- The tools used to train the models used for the ICISC paper "Recurrent neural networks for fuzz testing web browsers"☆28Updated 6 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- Fuzzilli For quickjs☆28Updated 5 years ago
- Corpus set used by DIE☆40Updated 4 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago