vusec / instrumentation-infraLinks
An extendable and flexible infrastructure for program instrumentation.
☆22Updated 3 weeks ago
Alternatives and similar repositories for instrumentation-infra
Users that are interested in instrumentation-infra are comparing it to the libraries listed below
Sorting:
- CollabFuzz: A Framework for Collaborative Fuzzing☆70Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆14Updated 6 years ago
- ☆12Updated 3 years ago
- ☆47Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18Updated 2 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- winafl with mopt mutators and afl fast power schedulers.☆22Updated 8 months ago
- ☆39Updated 5 years ago
- ☆16Updated 5 years ago
- Fuzz testing framework for binary programs using AI☆52Updated 2 years ago
- Library to wrap all file calls when fuzzing with AFL++☆51Updated 2 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 multi-platform fuzzer for poking at userland binaries, network clients and servers☆69Updated last year
- Concolic Execution Fuzzer☆24Updated 4 years ago
- ☆53Updated 6 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆125Updated 5 years ago
- ☆12Updated 4 years ago
- MIPS32 emulation fuzzing☆12Updated 4 years ago
- ☆98Updated 4 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 4 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated last year
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- run AFL with pintool☆66Updated 5 years ago
- Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…☆28Updated last year
- Challenging testcases for fuzzers☆72Updated last year
- AFL fuzzing coverage CFG visualization☆31Updated 7 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- ☆96Updated 6 years ago