Alternatives and similar repositories for storm

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

• Practical-Formal-Methods / tailor

  View on GitHub
  Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
  ☆20Nov 24, 2021Updated 4 years ago
• Practical-Formal-Methods / queryFuzz

  View on GitHub
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Jun 8, 2021Updated 4 years ago
• Practical-Formal-Methods / DeepSearch

  View on GitHub
  Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
  ☆13Aug 27, 2020Updated 5 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• BanditFuzz / BanditFuzz_Public

  View on GitHub
  Public BanditFuzz Repo
  ☆12Jan 12, 2021Updated 5 years ago
• contract-ace / smartace

  View on GitHub
  ☆17Jan 13, 2022Updated 4 years ago
• JonathanSalwan / X-Tunnel-Opaque-Predicates

  View on GitHub
  IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
  ☆57Aug 17, 2019Updated 6 years ago
• caballa / wrapped-intervals

  View on GitHub
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆11Dec 18, 2017Updated 8 years ago
• LL-MM / approxis-groundtruth

  View on GitHub
  ☆31Jul 21, 2020Updated 5 years ago
• caterinaurban / Libra

  View on GitHub
  ☆24Oct 31, 2021Updated 4 years ago
• AFLplusplus / LibAFL-legacy

  View on GitHub
  AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!
  ☆112Apr 30, 2021Updated 4 years ago
• testsmt / yinyang

  View on GitHub
  A fuzzing framework for SMT solvers
  ☆196Dec 1, 2025Updated 2 months ago
• arnaugamez / r2syntia

  View on GitHub
  Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
  ☆21Dec 4, 2025Updated 2 months ago
• dblotsky / stringfuzz

  View on GitHub
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆22Dec 17, 2021Updated 4 years ago
• MotherFuzzers / meetups

  View on GitHub
  Materials from Fuzzing Bay Area meetups
  ☆68Dec 20, 2019Updated 6 years ago
• andreafioraldi / FuzzSplore

  View on GitHub
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Feb 6, 2021Updated 5 years ago
• martin-cs / symfpu

  View on GitHub
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Nov 16, 2025Updated 2 months ago
• patois / BFS2019

  View on GitHub
  Bluefrost Exploitation Challenge 2019 - Exploit and Writeup
  ☆24Feb 11, 2024Updated 2 years ago
• cryptomadco / fuzzingdriver

  View on GitHub
  aurora-d
  ☆20Apr 24, 2022Updated 3 years ago
• andreafioraldi / weizz-fuzzer

  View on GitHub
  ☆99Oct 19, 2020Updated 5 years ago
• mishrasunny174 / SROP

  View on GitHub
  A repository containing sample srop exploits and vulnerable binaries.
  ☆12Sep 17, 2019Updated 6 years ago
• radareorg / radare2-rlang

  View on GitHub
  Writing Radare2 plugins in various languages
  ☆17Sep 22, 2025Updated 4 months ago
• hw-sw-contracts / leakage-model-testing

  View on GitHub
  ☆11Nov 27, 2024Updated last year
• chc-comp / chc-tools

  View on GitHub
  Tools for manipulating CHC and related files
  ☆15Apr 21, 2023Updated 2 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 years ago
• CGCL-codes / HistFuzz

  View on GitHub
  A practical fuzzing tool for SMT solvers
  ☆11Nov 26, 2025Updated 2 months ago
• aaaddress1 / winInject101

  View on GitHub
  Windows Injection 101: from Zero to ROP (HITCON 2017)
  ☆29Aug 27, 2017Updated 8 years ago
• RolfRolles / PandemicML

  View on GitHub
  Pandemic binary program analysis framework in OCaml (abandoned)
  ☆71May 28, 2019Updated 6 years ago
• binsec / klee21-tina-artifact

  View on GitHub
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Jul 7, 2021Updated 4 years ago
• revolver-ocelot-saa / GhidraX64Dbg

  View on GitHub
  Extract annoations from Ghidra into an X32/X64 dbg database
  ☆57Feb 24, 2021Updated 4 years ago
• airbus-cyber / afl_ghidra_emu

  View on GitHub
  ☆188Mar 21, 2025Updated 10 months ago
• ptr-yudai / House-of-Husk

  View on GitHub
  PoC for House of Husk Exploit
  ☆13Apr 3, 2020Updated 5 years ago
• saaramar / echo_googlequals2020

  View on GitHub
  ☆12Sep 8, 2020Updated 5 years ago
• caps-tum / dbrew

  View on GitHub
  A library for dynamic binary rewriting
  ☆59Feb 10, 2021Updated 5 years ago
• zhechkoz / PwIN

  View on GitHub
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆82Sep 1, 2018Updated 7 years ago
• mrphrazer / r2con2020_deobfuscation

  View on GitHub
  ☆76Sep 30, 2021Updated 4 years ago
• kc0bfv / pcode-emulator

  View on GitHub
  A PCode Emulator for Ghidra.
  ☆112Feb 7, 2021Updated 5 years ago
• eset / stadeo

  View on GitHub
  Control-flow-flattening and string deobfuscator
  ☆160Nov 8, 2021Updated 4 years ago