intel / fffc
Easy-to-use tool which autogenerates a type-aware fuzzer from a debuggable executable.
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for fffc
- Tool to extract the kallsyms (System.map) from a memory dump☆24Updated last year
- Collection of images and examples to use with Shoggoth.☆19Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆27Updated 3 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- QEMU with support for QDSP6 user mode emulation☆32Updated 5 years ago
- Flex 'em lexers☆38Updated 4 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Ditto.☆16Updated 4 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆67Updated 3 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆27Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- ☆38Updated 4 years ago
- Abstract library to generate angr states from a debugger state☆58Updated 4 years ago
- QuickPatch: A patching tool☆12Updated 5 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- ☆17Updated 2 years ago
- run AFL with pintool☆65Updated 4 years ago
- Python repository containing parsed standard C library function and argument information☆26Updated 6 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆78Updated 6 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆44Updated 2 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆81Updated 7 months ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆40Updated 5 years ago
- QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.☆41Updated 4 years ago