andreafioraldi / ConstrainedMemorySanitizer
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ConstrainedMemorySanitizer
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- ☆11Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Updated 2 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆25Updated 6 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)☆22Updated 8 years ago
- ☆38Updated 4 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆27Updated 3 years ago
- Recover mutation graph from an AFL seed☆59Updated 3 years ago
- run AFL with dynamorio☆35Updated 4 years ago
- ☆50Updated 5 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆58Updated 4 years ago
- ☆17Updated 2 years ago
- ☆20Updated 2 years ago
- Repo for fuzzing projects☆46Updated 4 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 2 years ago