eurecom-s3/invscov 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

eurecom-s3/invscov

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/eurecom-s3/invscov)

Close

eurecom-s3 / invscovView on GitHubMore

• External links
• Readme badge

The Use of Likely Invariants as Feedback for Fuzzers

☆93Jan 19, 2022Updated 4 years ago

Alternatives and similar repositories for invscov

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

• elManto / DDFuzz

  View on GitHub
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆65Feb 28, 2022Updated 4 years ago
• aflchurn / aflchurn

  View on GitHub
  A regression greybox fuzzer aflchurn
  ☆67May 19, 2022Updated 3 years ago
• yifengchen-cc / AFLplusplusSmart

  View on GitHub
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆11Oct 20, 2020Updated 5 years ago
• HongliangLiang / leofuzz

  View on GitHub
  ☆19Apr 7, 2023Updated 2 years ago
• eurecom-s3 / predictive-cs-fuzzing

  View on GitHub
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆30Feb 29, 2024Updated 2 years ago
• VulnLoc / VulnLoc

  View on GitHub
  ☆34Nov 11, 2021Updated 4 years ago
• hgarrereyn / GraphFuzz

  View on GitHub
  GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
  ☆272Jan 16, 2024Updated 2 years ago
• TortoiseFuzz / TortoiseFuzz

  View on GitHub
  ☆91Oct 25, 2021Updated 4 years ago
• HexHive / datAFLow

  View on GitHub
  A data-flow-guided fuzzer
  ☆124Aug 19, 2023Updated 2 years ago
• fuzztruction / fuzztruction

  View on GitHub
  ☆134May 6, 2024Updated last year
• AFLplusplus / StdFuzzer

  View on GitHub
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Dec 20, 2024Updated last year
• adrianherrera / afl-mutation-graph

  View on GitHub
  Recover mutation graph from an AFL seed
  ☆60Jan 6, 2021Updated 5 years ago
• HexHive / FuZZan

  View on GitHub
  FuZZan: Efficient Sanitizer Metadata Design for Fuzzing
  ☆125Mar 31, 2021Updated 4 years ago
• R-Fuzz / symsan

  View on GitHub
  A LLVM Sanitizer for Symbolic Tracing
  ☆234Feb 7, 2026Updated 3 weeks ago
• cuhk-seclab / SelectFuzz

  View on GitHub
  ☆73Jun 26, 2024Updated last year
• HexHive / Igor

  View on GitHub
  ☆77Dec 26, 2025Updated 2 months ago
• RUB-SysSec / ijon

  View on GitHub
  ☆204Sep 1, 2025Updated 6 months ago
• buszk / drifuzz-concolic

  View on GitHub
  ☆12Jun 20, 2022Updated 3 years ago
• patchloc / VulnLoc

  View on GitHub
  ☆12Jun 8, 2021Updated 4 years ago
• ICSE2020-MemLock / MemLock

  View on GitHub
  MemLock: Memory Usage Guided Fuzzing
  ☆32Jun 30, 2020Updated 5 years ago
• season-lab / fuzzolic

  View on GitHub
  fuzzing + concolic = fuzzolic :)
  ☆128Nov 6, 2025Updated 3 months ago
• ChengyuSong / Kirenenko

  View on GitHub
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Jul 14, 2022Updated 3 years ago
• vusec / parmesan

  View on GitHub
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆177Apr 19, 2024Updated last year
• bajinsheng / ReZZan

  View on GitHub
  ☆39Sep 27, 2022Updated 3 years ago
• wcventure / MemLock-Fuzz

  View on GitHub
  [ICSE2020] MemLock: Memory Usage Guided Fuzzing
  ☆71Dec 6, 2021Updated 4 years ago
• ZhangZhuoSJTU / StochFuzz

  View on GitHub
  Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting
  ☆190Oct 21, 2023Updated 2 years ago
• ossf / fuzz-introspector

  View on GitHub
  Fuzz Introspector -- introspect, extend and optimise fuzzers
  ☆447Updated this week
• FoRTE-Research / HeXcite

  View on GitHub
  High-Efficiency eXpanded Coverage for Improved Testing of Executables
  ☆25Jul 7, 2022Updated 3 years ago
• srg-imperial / SnapFuzz

  View on GitHub
  ☆78Sep 2, 2022Updated 3 years ago
• AFLplusplus / libafl_fuzzbench

  View on GitHub
  Fuzzers implemented with libafl to evaluate several techniques on fuzzbench
  ☆13Oct 10, 2024Updated last year
• eurecom-s3 / symqemu

  View on GitHub
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆368May 5, 2025Updated 9 months ago
• eurecom-s3 / symcc

  View on GitHub
  SymCC: efficient compiler-based symbolic execution
  ☆856May 12, 2025Updated 9 months ago
• carter-yagemann / ARCUS

  View on GitHub
  Symbolic Execution Over Processor Traces
  ☆127Aug 14, 2024Updated last year
• R-Fuzz / jigsaw

  View on GitHub
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69May 31, 2024Updated last year
• vusec / collabfuzz

  View on GitHub
  CollabFuzz: A Framework for Collaborative Fuzzing
  ☆70Dec 2, 2021Updated 4 years ago
• SocietyMaster / AFLIoT

  View on GitHub
  ☆20May 27, 2020Updated 5 years ago
• HexHive / magma

  View on GitHub
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆334Jan 11, 2026Updated last month
• lcatro / qemu-fuzzer

  View on GitHub
  Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.
  ☆46Dec 12, 2021Updated 4 years ago
• bitsecurerlab / aflplusplus-hier

  View on GitHub
  afl/afl++ with a hierarchical seed scheduler
  ☆56Feb 19, 2022Updated 4 years ago