☆26Nov 30, 2018Updated 7 years ago
Alternatives and similar repositories for synfuzz
Users that are interested in synfuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code coverage calculation/monitoring tool for Corpus Distillation☆16Aug 25, 2016Updated 10 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 4 years ago
- macOS Cython IOKit Utility Library☆42Sep 26, 2017Updated 9 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- adobe afdko fuzz☆39Aug 12, 2019Updated 7 years ago
- 3D Accelerated Exploitation☆54Feb 22, 2019Updated 7 years ago
- Semantic Differential Repair☆11Oct 31, 2014Updated 12 years ago
- black hat Asia 2017 Slides☆21Mar 30, 2017Updated 9 years ago
- The dumbest file format fuzzer in the whole world.Written in Python and it uses PyDBG.☆14Apr 17, 2018Updated 8 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- Simple commit search utility for Chromium Google Source.☆29Dec 8, 2022Updated 3 years ago
- AFLplusplus + libprotobuf-mutator = love☆86Jan 19, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Fuzzing SILK with AFL☆25May 29, 2020Updated 6 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 8 years ago
- This repo is deprecated as of 2019.08.20, all code moved to https://github.com/grimm-co/killerbeez☆16Nov 22, 2018Updated 7 years ago
- ☆10Jun 1, 2014Updated 12 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆46Mar 5, 2024Updated 2 years ago
- Broadcom Bluetooth Tools☆15Feb 20, 2018Updated 8 years ago
- A user-friendly fuzzing and crash triage tool for Windows☆133Nov 27, 2019Updated 6 years ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- An AFL-inspired genetic fuzz tester for JavaScript☆132Feb 12, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Fuzzing library written in/for python.☆83Mar 25, 2020Updated 6 years ago
- CClyzer port to souffle lang☆21Sep 17, 2026Updated last month
- Janus: a state-of-the-art file system fuzzer on Linux☆239Dec 23, 2019Updated 6 years ago
- ☆85Jul 26, 2026Updated 3 months ago
- Modular And Compositional analysis with KLEE Engine☆119Dec 17, 2019Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- Ditto.☆18Jul 23, 2020Updated 6 years ago
- A powerful CLI compression tool written in Rust, inspired by 7-Zip but with a modern CLI interface—delivering up to ~100x faster compress…☆11May 11, 2025Updated last year
- a grammar based feedback fuzzer☆168Jul 1, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- JP2KLib.dll harness for WinAFL☆42Apr 20, 2021Updated 5 years ago
- install firehose for building xnu☆19May 7, 2019Updated 7 years ago
- A single page for daily duty assignment☆12Jan 14, 2016Updated 10 years ago
- Linux crash harness with runtime process instrumentation☆23Nov 7, 2020Updated 5 years ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- ☆200Mar 9, 2023Updated 3 years ago
- Magellan PoC☆33Jan 23, 2019Updated 7 years ago