googleprojectzero / CompareCoverage
Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files
☆201Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for CompareCoverage
- ☆63Updated 5 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆204Updated 3 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆93Updated 3 months ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆110Updated 3 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- ☆248Updated 4 years ago
- Modular And Compositional analysis with KLEE Engine☆113Updated 4 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆249Updated last year
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- A user-friendly fuzzing and crash triage tool for Windows☆131Updated 4 years ago
- ☆127Updated 5 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆212Updated last month
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆135Updated 3 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆176Updated 2 years ago
- Improving AFL by using Intel PT to collect branch information☆289Updated 5 years ago
- Fuzzing the Kernel Using Unicornafl and AFL++☆295Updated last year
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆325Updated 5 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 7 months ago
- Fuzzer for Linux Kernel Drivers☆370Updated 2 years ago
- SymGDB - symbolic execution plugin for gdb☆215Updated 6 years ago
- HexType: Efficient Detection of Type Confusion Errors for C++☆99Updated 7 months ago
- A linux system call fuzzer using TriforceAFL☆171Updated 8 months ago
- Block Oriented Programming -- Compiler☆181Updated 4 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- QASan is a custom QEMU 3.1.1 that detects memory errors in the guest using AddressSanitizer.☆340Updated 3 months ago
- A program to draw rectangles from heap traces.☆131Updated 4 years ago
- A distributed fuzzer which aims to pull in the best technologies, make them play nicely together, and run on multiple O/Ses.☆194Updated 4 years ago
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆244Updated 5 years ago
- A function tracer☆89Updated 5 years ago
- gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.☆256Updated 4 years ago