wpengfei / double_fetch_cocci
Source code of the double-fetch bug detection approach based on Coccinelle engine
☆10Updated 8 years ago
Alternatives and similar repositories for double_fetch_cocci:
Users that are interested in double_fetch_cocci are comparing it to the libraries listed below
- AFL fuzzing coverage CFG visualization☆31Updated 7 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆27Updated 9 years ago
- run AFL with dynamorio☆36Updated 4 years ago
- blog☆16Updated 4 years ago
- ☆70Updated 5 years ago
- ☆13Updated 3 years ago
- exploit code for a bpf heap overflow vulnerability☆27Updated 5 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- The collection of programs for evaluating fuzzing techniques☆20Updated 7 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- ☆19Updated 6 years ago
- Corpus set used by DIE☆39Updated 4 years ago
- ☆52Updated 5 years ago
- Source code for building an exploitable linux kernel challenge iso.☆44Updated 11 years ago
- experiments for IJON☆11Updated 5 years ago
- ☆20Updated 2 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 6 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- FoRTE-Research's fuzzing benchmarks☆56Updated 5 years ago
- Library to wrap all file calls when fuzzing with AFL++☆50Updated last year
- QEMU to drcov trace file☆11Updated 4 years ago
- Code coverage calculation/monitoring tool for Corpus Distillation☆16Updated 8 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
- forked from afl http://lcamtuf.coredump.cx/afl/☆8Updated 5 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆63Updated 5 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 8 months ago
- a taint tracer based on DynamoRIO, currently ARM only☆40Updated 4 years ago