lcatro / klee-flLinks
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
Sorting:
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆65Updated 3 years ago
- Slow llvm tracing for the masses☆14Updated 5 years ago
- ☆41Updated 7 years ago
- Corpus set used by DIE☆41Updated 5 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- This is the project of LearnAFL.☆28Updated 4 years ago
- aurora-d☆20Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆44Updated 3 years ago
- blog☆16Updated 5 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 4 years ago
- ☆34Updated 4 years ago
- Fuzzilli For quickjs☆28Updated 5 years ago
- ☆16Updated 7 years ago
- A new type of js fuzzer☆26Updated 5 years ago
- ☆53Updated 6 years ago
- My Material for the HITB presentation☆35Updated 5 years ago
- Fuzz testing on JavaScriptCore and WebAssembly in WebKit☆6Updated 5 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- VxWorks Fuzzer with AFL and QEMU☆48Updated 5 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆19Updated 7 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 5 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Updated 5 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
- exploit code for a bpf heap overflow vulnerability☆27Updated 5 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Updated 8 years ago
- ☆44Updated 5 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago