R-Fuzz / symsan
A LLVM Sanitizer for Symbolic Tracing
☆208Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for symsan
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 7 months ago
- A grammar-based custom mutator for AFL++☆234Updated 4 months ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆238Updated 2 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago
- Source code of ASAN--☆91Updated 5 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆151Updated 2 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- ☆188Updated 6 months ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆69Updated 5 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆333Updated 2 weeks ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆75Updated 2 years ago
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆195Updated 3 years ago
- ☆132Updated 3 weeks ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆176Updated 2 years ago
- A data-flow-guided fuzzer☆111Updated last year
- Kernel fuzzer inspired by Syzkaller.☆269Updated 2 years ago
- ☆104Updated 10 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- ☆296Updated 3 years ago
- UT based automated fuzz driver generation☆165Updated 3 months ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆289Updated 4 months ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆114Updated last year
- UAF Fuzzing Benchmark☆55Updated 3 years ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆59Updated last year
- K-Miner☆72Updated 5 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated 3 weeks ago