havrikov/covering-input-structure 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

havrikov/covering-input-structure

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/havrikov/covering-input-structure)

Close

havrikov / covering-input-structureView on GitHubMore

• External links
• Readme badge

Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019

☆10Jul 6, 2023Updated 2 years ago

Alternatives and similar repositories for covering-input-structure

Users that are interested in covering-input-structure are comparing it to the libraries listed below

• patchloc / VulnLoc

  View on GitHub
  ☆12Jun 8, 2021Updated 4 years ago
• puzhuoliu / Awesome-Concurrency-Vulnerability-Paper

  View on GitHub
  Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.
  ☆15Nov 11, 2022Updated 3 years ago
• adrianherrera / ball-larus-fuzz

  View on GitHub
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Oct 31, 2022Updated 3 years ago
• stuartly / FirmHybridFuzzer

  View on GitHub
  Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware
  ☆12Mar 6, 2024Updated 2 years ago
• vrthra / F1

  View on GitHub
  ☆82Aug 20, 2025Updated 7 months ago
• andreafioraldi / QEMU-SanCov

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

  View on GitHub
  Fuzzing Parsers with Tokens
  ☆33Jan 14, 2021Updated 5 years ago
• yifengchen-cc / AFLplusplusSmart

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

  View on GitHub
  [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
  ☆23Dec 3, 2024Updated last year
• regehr / llvm-dataflow-info

  View on GitHub
  print information from LLVM dataflow analyses
  ☆13Jan 22, 2020Updated 6 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• invictus1306 / QuickPatch

  View on GitHub
  QuickPatch: A patching tool
  ☆13Oct 20, 2019Updated 6 years ago
• uds-se / pFuzzer

  View on GitHub
  The parser-directed Fuzzer
  ☆40May 22, 2020Updated 5 years ago
• nyx-fuzz / spec-fuzzer

  View on GitHub
  ☆45Apr 12, 2022Updated 3 years ago
• EVulHunter / EVulHunter

  View on GitHub
  ☆10Sep 24, 2019Updated 6 years ago
• JeffJerseyCow / qemu2drcov

  View on GitHub
  QEMU to drcov trace file
  ☆12Nov 21, 2020Updated 5 years ago
• harperchen / SEAL

  View on GitHub
  ☆12Jun 10, 2025Updated 9 months ago
• eqv / aflq_fast_cov

  View on GitHub
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆34Jun 6, 2021Updated 4 years ago
• aashishkolluri / Ethracer

  View on GitHub
  ☆13May 27, 2019Updated 6 years ago
• CAFA1 / CAFA

  View on GitHub
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Sep 28, 2018Updated 7 years ago
• yzjxiaoyue / JavaParseKMLForJAK

  View on GitHub
  使用JAK包对KML文件解析
  ☆10Dec 8, 2018Updated 7 years ago
• lcatro / klee-fl

  View on GitHub
  KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
  ☆30Apr 7, 2019Updated 6 years ago
• microsoft / NeuralInvariantRanker

  View on GitHub
  Ranking LLM-Generated Loop Invariants for Program Verification.
  ☆12Aug 20, 2024Updated last year
• hthuong2111 / UAF-FuzzBench

  View on GitHub
  ☆18Aug 7, 2020Updated 5 years ago
• praseodym / learning-fuzzing

  View on GitHub
  Code from MSc thesis on combining learning and fuzzing
  ☆19Jul 30, 2018Updated 7 years ago
• AFLplusplus / Commit-Fuzzing-Demo

  View on GitHub
  This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.
  ☆17Mar 2, 2020Updated 6 years ago
• fitzgen / wasm-smith

  View on GitHub
  A WebAssembly test case generator
  ☆44Oct 21, 2020Updated 5 years ago
• MultiFuzz / MultiFuzz

  View on GitHub
  MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware
  ☆40Dec 8, 2025Updated 3 months ago
• eurecom-s3 / dissecting_afl

  View on GitHub
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Oct 3, 2022Updated 3 years ago
• DonggeLiu / Legion

  View on GitHub
  A coverage-based software testing tool
  ☆34Dec 11, 2020Updated 5 years ago
• tum-i4 / munch

  View on GitHub
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Feb 22, 2019Updated 7 years ago
• jsiek / featherweight-C

  View on GitHub
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Feb 18, 2021Updated 5 years ago
• squaresLab / SOAR

  View on GitHub
  Synthesis API Refactor
  ☆12May 17, 2022Updated 3 years ago
• Tzer-AnonBot / tzer

  View on GitHub
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆12Jan 15, 2022Updated 4 years ago
• yiluwusbu / DEVFUZZ

  View on GitHub
  IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing
  ☆14Dec 16, 2024Updated last year
• matfax / spmf

  View on GitHub
  Fork of the SPMF Open-Source Data Mining Library from Prof. Philippe Fournier-Viger
  ☆17Mar 8, 2026Updated last week
• Antadv / classFileAnalyzer

  View on GitHub
  Java 代码解析 class 文件
  ☆11Mar 1, 2018Updated 8 years ago
• CraigStuntz / Fizil

  View on GitHub
  A fuzzer. Work in progress!
  ☆21Sep 8, 2017Updated 8 years ago
• wala / jsdelta

  View on GitHub
  A delta debugger for JavaScript
  ☆54May 17, 2022Updated 3 years ago