Alternatives and similar repositories for SivoFuzzer

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

• yifengchen-cc / AFLplusplusSmart

  View on GitHub
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆11Oct 20, 2020Updated 5 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
• yanxxd / PathAFL

  View on GitHub
  Code for PathAFL on ASIACCS 2020. Please see README_CN.md. Please wait for README_EN.md.
  ☆18Nov 11, 2020Updated 5 years ago
• ThePatrickStar / fuzzer-data-collector

  View on GitHub
  ☆26Oct 3, 2023Updated 2 years ago
• ispras / Futag

  View on GitHub
  FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
  ☆56Oct 17, 2025Updated 4 months ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• Samsung / afl_cc

  View on GitHub
  Fuzzing with controlled compilation
  ☆31Apr 7, 2023Updated 2 years ago
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• Ljiee / deepfuzz

  View on GitHub
  ☆16Dec 22, 2019Updated 6 years ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 5 months ago
• Epeius / FFuzz

  View on GitHub
  ☆16Mar 23, 2018Updated 7 years ago
• nettrino / slowfuzz

  View on GitHub
  ☆53Nov 26, 2017Updated 8 years ago
• mlfbrown / sys2

  View on GitHub
  Sys, but no longer in Haskell
  ☆19Mar 14, 2022Updated 3 years ago
• Dynamic-Rabbits / Dynamic-Rabbits

  View on GitHub
  ☆21Feb 15, 2022Updated 4 years ago
• SVF-tools / SVF-example

  View on GitHub
  An external project example using SVF as a library
  ☆24Dec 17, 2025Updated 2 months ago
• csienslab / instrim

  View on GitHub
  InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing
  ☆83Jun 21, 2020Updated 5 years ago
• awen-li / PCA

  View on GitHub
  A data dependence analyzer for C program
  ☆20Jan 23, 2022Updated 4 years ago
• dwfault / CollAFLplusplus

  View on GitHub
  Implement CollAFL using LLVM LTO pass on afl++.
  ☆12Sep 24, 2020Updated 5 years ago
• buszk / drifuzz-concolic

  View on GitHub
  ☆12Jun 20, 2022Updated 3 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• andreafioraldi / QEMU-SanCov

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

  View on GitHub
  Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".
  ☆66Dec 14, 2021Updated 4 years ago
• bitsecurerlab / afl-sensitive

  View on GitHub
  Sensitive and Collaborative Fuzzing with AFL
  ☆27Jul 29, 2019Updated 6 years ago
• astarasikov / macos-gpu-fuzzing-public

  View on GitHub
  ☆29Jan 7, 2021Updated 5 years ago
• ZHYfeng / Dependency

  View on GitHub
  ☆24Aug 24, 2025Updated 5 months 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
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• SZU-SE / UAF-Fuzzer-TestSuite

  View on GitHub
  [ICSE2020] UAFL DataSet
  ☆12Dec 10, 2022Updated 3 years ago
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 6 years ago
• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 6 years ago
• h0mbre / Fuzzing

  View on GitHub
  Repo for fuzzing projects
  ☆46Jun 18, 2020Updated 5 years ago
• bda-tool / bda

  View on GitHub
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆31Feb 26, 2021Updated 4 years ago
• ICSE2020-MemLock / MemLock

  View on GitHub
  MemLock: Memory Usage Guided Fuzzing
  ☆32Jun 30, 2020Updated 5 years ago
• adrianherrera / llvm-cfg-to-json

  View on GitHub
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆25Nov 26, 2021Updated 4 years ago
• VulnLoc / VulnLoc

  View on GitHub
  ☆34Nov 11, 2021Updated 4 years ago
• kppw99 / FuzzBuilderEx

  View on GitHub
  FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.
  ☆13Sep 6, 2022Updated 3 years ago
• funemy / SWORD

  View on GitHub
  SWORD: A Whole Program Race Detector for Java
  ☆13Jan 30, 2021Updated 5 years ago