wmkhoo / taintgrind
A taint-tracking plugin for the Valgrind memory checking tool
☆249Updated last year
Related projects ⓘ
Alternatives and complementary repositories for taintgrind
- Improving AFL by using Intel PT to collect branch information☆289Updated 5 years ago
- FairFuzz: AFL extension targeting rare branches☆240Updated 5 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆177Updated 2 years ago
- ☆379Updated 5 years ago
- ☆248Updated 4 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆93Updated 3 months ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- Python bindings for Valgrind's VEX IR.☆340Updated this week
- Fuzzer for Linux Kernel Drivers☆369Updated 2 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆212Updated last month
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 6 months ago
- Differential fuzzing for the masses!☆149Updated 7 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- ☆296Updated 3 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Updated 10 months ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆236Updated 2 years ago
- ☆126Updated 5 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆251Updated 4 months ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆573Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- A Kernel fuzzer focusing on race bugs☆358Updated 5 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- This repository contains several examples of logic bomb.☆95Updated 10 months ago
- A grammar-based custom mutator for AFL++☆234Updated 4 months ago
- Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)☆506Updated 2 years ago
- The Jakstab static analysis platform for binaries☆157Updated 4 years ago
- Intermediate Representation for Binary analysis and transformation☆309Updated last month
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆277Updated 5 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆294Updated last year
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago