Alternatives and similar repositories for PandemicML

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

• draperlaboratory / cbat_tools

  View on GitHub
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Apr 13, 2023Updated 2 years ago
• RolfRolles / GhidraPAL

  View on GitHub
  Ghidra Program Analysis Library
  ☆346Jun 28, 2023Updated 2 years ago
• BinaryAnalysisPlatform / bap-veri

  View on GitHub
  bil verification tool
  ☆12Jun 30, 2022Updated 3 years ago
• SoftSec-KAIST / Eclipser

  View on GitHub
  Grey-box Concolic Testing on Binary Code (ICSE '19)
  ☆156Oct 4, 2021Updated 4 years ago
• RolfRolles / SynesthesiaYS

  View on GitHub
  Synesthesia, implemented as Yices scripts
  ☆94Jul 17, 2017Updated 8 years ago
• Gy-Hu / E-Syn2

  View on GitHub
  E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)
  ☆27Jun 23, 2025Updated 7 months ago
• ucsb-seclab / sasi

  View on GitHub
  Signedness-Agnostic Strided-Interval
  ☆38Jun 21, 2019Updated 6 years ago
• static-analysis-engineering / codehawk

  View on GitHub
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆74Feb 3, 2026Updated 2 weeks ago
• andreafioraldi / FuzzSplore

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

  View on GitHub
  ☆75Jan 14, 2024Updated 2 years ago
• bchurchill / pldi19-equivalence-checker

  View on GitHub
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆44Apr 2, 2020Updated 5 years ago
• feliam / klee-taint

  View on GitHub
  KLEE-TAINT - Klee with taint analysis support
  ☆71Oct 23, 2017Updated 8 years ago
• susisu / est-ocaml

  View on GitHub
  A simple command line tool for statistical calculation
  ☆10May 12, 2018Updated 7 years ago
• quarkslab / arybo

  View on GitHub
  Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions
  ☆321Jan 4, 2024Updated 2 years ago
• sdasgup3 / validating-binary-decompilation

  View on GitHub
  Scalable Validator for Binary Lifters
  ☆62Jun 28, 2020Updated 5 years ago
• static-analysis-engineering / CodeHawk-Binary

  View on GitHub
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆38Jan 26, 2026Updated 3 weeks ago
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago
• google / binja-hexagon

  View on GitHub
  ☆116Feb 29, 2024Updated last year
• GrammaTech / retypd-ghidra-plugin

  View on GitHub
  Retypd plugin for Ghidra reverse engineering framework from NSA
  ☆27Jul 6, 2023Updated 2 years ago
• quarkslab / sspam

  View on GitHub
  Symbolic Simplification with PAttern Matching
  ☆108Feb 22, 2017Updated 8 years ago
• openrewrite / rewrite-analysis

  View on GitHub
  OpenRewrite recipes for data flow analysis.
  ☆15Updated this week
• jkinder / jakstab

  View on GitHub
  The Jakstab static analysis platform for binaries
  ☆163Dec 10, 2019Updated 6 years ago
• binsec / binsec

  View on GitHub
  BINSEC binary-level open-source platform
  ☆392Jan 7, 2026Updated last month
• patois / HRDevHelper

  View on GitHub
  HexRays ctree visualization plugin
  ☆437Sep 6, 2024Updated last year
• lunixbochs / revsync

  View on GitHub
  realtime cross-tool collaborative reverse engineering
  ☆101Nov 30, 2022Updated 3 years ago
• andreas / irmin-fdb

  View on GitHub
  Irmin store backed by FoundationDB
  ☆12Nov 19, 2019Updated 6 years ago
• yomimono / example-unikernels

  View on GitHub
  Small example MirageOS unikernels.
  ☆15Jun 14, 2019Updated 6 years ago
• SeanHeelan / claude_opus_cve_2023_0266

  View on GitHub
  Demo showing Claude Opus does not find CVE-2023-0266
  ☆17Mar 19, 2024Updated last year
• sibears / HRAST

  View on GitHub
  PoC of modifying HexRays AST
  ☆265Dec 17, 2019Updated 6 years ago
• DGA-MI-SSI / YaCo

  View on GitHub
  YaCo is an Hex-Rays IDA plugin. When enabled, multiple users can work simultaneously on the same binary. Any modification done by any use…
  ☆324Aug 5, 2019Updated 6 years ago
• jaybosamiya / fuzzing-numpy

  View on GitHub
  Experiments in trying to find 0-days in numpy
  ☆38Jul 1, 2017Updated 8 years ago
• GrammaTech / gtirb

  View on GitHub
  Intermediate Representation for Binary analysis and transformation
  ☆349Jan 14, 2026Updated last month
• riverloopsec / hashashin

  View on GitHub
  Hashashin: A Fuzzy Matching Tool for Binary Ninja
  ☆95Aug 25, 2023Updated 2 years ago
• BinaryAnalysisPlatform / bap-plugins

  View on GitHub
  BAP Plugins Repository
  ☆58Nov 20, 2020Updated 5 years ago
• moflow / moflow

  View on GitHub
  ☆125Mar 15, 2021Updated 4 years ago
• lifting-bits / microx

  View on GitHub
  Safely execute an arbitrary x86 instruction
  ☆204Feb 6, 2024Updated 2 years ago
• withzombies / bnil-graph

  View on GitHub
  A BinaryNinja plugin to graph a BNIL instruction tree
  ☆89Nov 7, 2025Updated 3 months ago
• enkomio / Sojobo

  View on GitHub
  A binary analysis framework
  ☆133Dec 17, 2020Updated 5 years ago
• termite-analyser / llvm2smt

  View on GitHub
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Apr 20, 2018Updated 7 years ago