CGCL-codes/HistFuzz 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

CGCL-codes/HistFuzz

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/CGCL-codes/HistFuzz)

Close

CGCL-codes / HistFuzzView on GitHubMore

• External links
• Readme badge

A practical fuzzing tool for SMT solvers

☆11Nov 26, 2025Updated 3 months ago

Alternatives and similar repositories for HistFuzz

Users that are interested in HistFuzz are comparing it to the libraries listed below

• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 6 months ago
• SZU-SE / UAF-Fuzzer-TestSuite

  View on GitHub
  [ICSE2020] UAFL DataSet
  ☆12Dec 10, 2022Updated 3 years ago
• CGCL-codes / PathEval

  View on GitHub
  This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…
  ☆34Mar 11, 2025Updated 11 months ago
• testsmt / janus

  View on GitHub
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Oct 12, 2022Updated 3 years ago
• RICSecLab / SLOPTAFLpp

  View on GitHub
  ☆15Sep 14, 2022Updated 3 years ago
• gryan11 / PGA

  View on GitHub
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Apr 29, 2021Updated 4 years ago
• Xidian-ICTT-GZ / Academic_Blog

  View on GitHub
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Oct 27, 2025Updated 4 months ago
• LianKee / SO-CVEs

  View on GitHub
  ☆10Jun 5, 2023Updated 2 years ago
• segev-shlomov / ST-WebAgentBench

  View on GitHub
  A Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios
  ☆19Updated this week
• ChijinZ / SaGe-Browser-Fuzzer

  View on GitHub
  a browser fuzzer
  ☆47Mar 15, 2024Updated last year
• waugustus / CarpetFuzz

  View on GitHub
  An NLP-based fuzzing assitance tool for generating valid option combinations.
  ☆52Jun 18, 2025Updated 8 months ago
• HexHive / fuzzing-seed-selection

  View on GitHub
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Oct 26, 2022Updated 3 years ago
• roddux / fffz

  View on GitHub
  funky fun fuzzer
  ☆11Jul 6, 2021Updated 4 years ago
• sec3-service / reports

  View on GitHub
  The sec3 audit reports and publications
  ☆11Feb 2, 2026Updated 3 weeks ago
• qwaz / satire

  View on GitHub
  An educational SAT solver written in Rust
  ☆13Sep 23, 2023Updated 2 years ago
• GuQiuhan / LLM-Based-Code-Generation-Method-for-Golang-Compiler-Testing

  View on GitHub
  State Key Laboratory for Novel Software Technology, Nanjing University, China
  ☆10Nov 22, 2025Updated 3 months ago
• SimaArasteh / binhuntertool

  View on GitHub
  This is the latest version of BinHunter paper
  ☆13Apr 13, 2025Updated 10 months ago
• alalng / CVE-2022-44789

  View on GitHub
  ☆12Jan 28, 2023Updated 3 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques

  View on GitHub
  ☆10Jul 9, 2020Updated 5 years ago
• bash-c / rwctf2019-final-printer

  View on GitHub
  Writeup for rwctf2019-final-printer
  ☆14Dec 17, 2019Updated 6 years ago
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆15Oct 14, 2025Updated 4 months ago
• microsoft / verus-copilot-vscode

  View on GitHub
  ☆16Jan 23, 2026Updated last month
• andreafioraldi / deferred_driller

  View on GitHub
  My version of driller using Intel PIN and angrgdb. In "theory" can work with AFL in deferred and persistent mode.
  ☆13Feb 10, 2019Updated 7 years ago
• ZJU-SEC / CrossFire

  View on GitHub
  ☆18Nov 7, 2024Updated last year
• cool-japan / oxiz

  View on GitHub
  OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…
  ☆38Feb 6, 2026Updated 3 weeks ago
• cgvwzq / ctf_tasks

  View on GitHub
  CTF tasks created
  ☆11Jan 12, 2023Updated 3 years ago
• docfate111 / CVE-2021-42327

  View on GitHub
  kernel exploit POC for vulnerability i found in amd gpu driver
  ☆11Jan 6, 2023Updated 3 years ago
• software-engineering-and-security / Gleipner

  View on GitHub
  A benchmark for Java gadget chain detecting algorithms.
  ☆15Jun 20, 2025Updated 8 months ago
• ganler / nnsmith-asplos-artifact

  View on GitHub
  https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23
  ☆11Mar 29, 2023Updated 2 years ago
• zhzyker / my-speech

  View on GitHub
  我的演讲 ppt or pdf 归档库
  ☆10Mar 28, 2021Updated 4 years ago
• lucasduffey / binja_smali

  View on GitHub
  ☆11Mar 26, 2018Updated 7 years ago
• TRCYX / py_monad_do

  View on GitHub
  Do notation in Python.
  ☆10Feb 22, 2021Updated 5 years ago
• claudeyj / patch_correctness

  View on GitHub
  ☆13May 19, 2024Updated last year
• r3kapig / WCTF-2020

  View on GitHub
  ☆11Nov 25, 2020Updated 5 years ago
• CGCL-codes / VFFinder

  View on GitHub
  ☆12Oct 14, 2025Updated 4 months ago
• 0xjet / malsource

  View on GitHub
  The malsource dataset
  ☆12Aug 31, 2021Updated 4 years ago
• kongjiexi / Gray-Hacker

  View on GitHub
  ☆12Jun 14, 2017Updated 8 years ago
• freetype / freetype2-testing

  View on GitHub
  Testing utilities for FreeType.
  ☆14Feb 9, 2026Updated 2 weeks ago
• CGCL-codes / MavenEcoSysResearch

  View on GitHub
  ☆46Sep 8, 2023Updated 2 years ago