andreafioraldi / ConstrainedMemorySanitizer
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ConstrainedMemorySanitizer
- ☆11Updated 2 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 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
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆12Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆25Updated 5 months ago
- run AFL with dynamorio☆35Updated 4 years ago
- vasilisk☆19Updated 4 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆67Updated 3 years ago
- Playground for testing feedback☆15Updated 4 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- ☆38Updated 4 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆23Updated 3 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆58Updated 4 years ago
- Recover mutation graph from an AFL seed☆59Updated 3 years ago
- Rust bindings for googleprojectzero/TinyInst☆15Updated last year
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- GDB plugin to dump SECCOMP rules set via prctnl(PR_SET_SECCOMP, SECCOMP_MODE_FILTER)☆22Updated 8 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆26Updated last year
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆22Updated 5 years ago
- ☆50Updated 5 years ago
- ☆36Updated 2 years ago
- ☆16Updated 6 years ago