jrozner/synfuzz external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jrozner/synfuzz

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jrozner/synfuzz)

Close

jrozner / synfuzzView on GitHubMore

• External links
• Readme badge

☆27Nov 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

• JaanusKaapPublic / KavalAnts

  View on GitHub
  Code coverage calculation/monitoring tool for Corpus Distillation
  ☆16Aug 25, 2016Updated 9 years ago
• trailofbits / KRFAnalysis

  View on GitHub
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆38Oct 12, 2022Updated 3 years ago
• atredis-jordan / SymbolicTriagePost

  View on GitHub
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Oct 31, 2022Updated 3 years ago
• andreafioraldi / QEMU-SanCov

  View on GitHub
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Nov 3, 2019Updated 6 years ago
• BaDSeED-SEC / strngr

  View on GitHub
  ☆13May 5, 2018Updated 7 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques

  View on GitHub
  ☆10Jul 9, 2020Updated 5 years ago
• SecurityLab-UCD / IRFuzzer

  View on GitHub
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆21Mar 26, 2025Updated 11 months ago
• macaron-et / wasabi-aeg

  View on GitHub
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆34Jul 29, 2018Updated 7 years ago
• brad-anton / dot1x-peachpits

  View on GitHub
  A collection of PeachPits for Peach Fuzzer to support EAP, 802.1x, and RADIUS Fuzzing
  ☆17Dec 29, 2015Updated 10 years ago
• BanditFuzz / BanditFuzz_Public

  View on GitHub
  Public BanditFuzz Repo
  ☆12Jan 12, 2021Updated 5 years ago
• FSecureLABS / 3d-accelerated-exploitation

  View on GitHub
  3D Accelerated Exploitation
  ☆54Feb 22, 2019Updated 7 years ago
• s3team / Abacus

  View on GitHub
  Side-channel Analysis
  ☆19May 17, 2022Updated 3 years ago
• mahaloz / pyjoern

  View on GitHub
  ☆15Jul 25, 2025Updated 7 months ago
• dafny-lang / xdsmith

  View on GitHub
  Fuzz testing for Dafny
  ☆13Jul 7, 2022Updated 3 years ago
• monkbai / DecFuzzer

  View on GitHub
  Decompiler Fuzzing Test with EMI mutation
  ☆16Apr 23, 2020Updated 5 years ago
• moyix / elmfuzz

  View on GitHub
  Evolving fuzzers with large language models
  ☆17Dec 14, 2023Updated 2 years ago
• wreet / skylight_fuzzer

  View on GitHub
  a simple frida-based fuzzer for skylight based on @ret2systems pwn2own work
  ☆30May 19, 2019Updated 6 years ago
• tracer-x / TracerX

  View on GitHub
  TracerX Symbolic Virtual Machine
  ☆32Sep 24, 2025Updated 5 months ago
• lus33rr / AyedFuzzer

  View on GitHub
  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
• loonwerks / AGREE

  View on GitHub
  Assume-Guarantee REasoning Environment
  ☆20Dec 3, 2025Updated 2 months ago
• Sbouber / honggfuzz-dharma

  View on GitHub
  Integrate the dharma grammar fuzzer into honggfuzz
  ☆26Aug 11, 2017Updated 8 years ago
• collins-research / FuzzM

  View on GitHub
  ☆16Apr 15, 2019Updated 6 years ago
• marcusml / broadcom_tools

  View on GitHub
  Broadcom Bluetooth Tools
  ☆15Feb 20, 2018Updated 8 years ago
• ycachy / Codee

  View on GitHub
  Codee
  ☆17Dec 9, 2020Updated 5 years ago
• thebabush / honggfuzz-qemu

  View on GitHub
  Ditto.
  ☆18Jul 23, 2020Updated 5 years ago
• season-lab / SymFusion

  View on GitHub
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆18May 5, 2023Updated 2 years ago
• uni-due-syssec / sgxfuzz

  View on GitHub
  ☆21Aug 22, 2022Updated 3 years ago
• tushartushar / ML4SCA

  View on GitHub
  Machine Learning for Source Code Analysis
  ☆17Nov 20, 2023Updated 2 years ago
• andreafioraldi / FuzzSplore

  View on GitHub
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Feb 6, 2021Updated 5 years ago
• plast-lab / cclyzer-souffle

  View on GitHub
  CClyzer port to souffle lang
  ☆19Jan 29, 2024Updated 2 years ago
• tetrane / tetrane-oss

  View on GitHub
  Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.
  ☆21Feb 9, 2023Updated 3 years ago
• bingseclab / VirtAnalyzer

  View on GitHub
  Virtual Inheritance Reverse Engineering
  ☆19Aug 20, 2020Updated 5 years ago
• xinali / AfdkoFuzz

  View on GitHub
  adobe afdko fuzz
  ☆41Aug 12, 2019Updated 6 years ago
• ronwai / jp2k_fuzz

  View on GitHub
  JP2KLib.dll harness for WinAFL
  ☆43Apr 20, 2021Updated 4 years ago
• seclab-ucr / K-LEAK

  View on GitHub
  ☆20Jun 7, 2025Updated 8 months ago
• connor4312 / js-fuzz

  View on GitHub
  An AFL-inspired genetic fuzz tester for JavaScript
  ☆133Feb 12, 2025Updated last year
• hardik05 / winafl-powermopt

  View on GitHub
  winafl with mopt mutators and afl fast power schedulers.
  ☆22Feb 2, 2025Updated last year
• binsec / haunted

  View on GitHub
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Oct 19, 2023Updated 2 years ago
• SecurityLab-UCD / LLAMAFUZZ

  View on GitHub
  [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
  ☆23Dec 3, 2024Updated last year