Pandemic binary program analysis framework in OCaml (abandoned)
☆71May 28, 2019Updated 6 years ago
Alternatives and similar repositories for PandemicML
Users that are interested in PandemicML are comparing it to the libraries listed below
Sorting:
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- Ghidra Program Analysis Library☆346Jun 28, 2023Updated 2 years ago
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- Synesthesia, implemented as Yices scripts☆94Jul 17, 2017Updated 8 years ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆28Jun 23, 2025Updated 8 months ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Mar 2, 2026Updated last week
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- ☆75Jan 14, 2024Updated 2 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Oct 23, 2017Updated 8 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆322Jan 4, 2024Updated 2 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- ☆116Feb 29, 2024Updated 2 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Jul 6, 2023Updated 2 years ago
- Symbolic Simplification with PAttern Matching☆108Feb 22, 2017Updated 9 years ago
- OpenRewrite recipes for data flow analysis.☆15Feb 25, 2026Updated last week
- The Jakstab static analysis platform for binaries☆163Dec 10, 2019Updated 6 years ago
- BINSEC binary-level open-source platform☆397Jan 7, 2026Updated 2 months ago
- HexRays ctree visualization plugin☆437Sep 6, 2024Updated last year
- realtime cross-tool collaborative reverse engineering☆102Nov 30, 2022Updated 3 years ago
- Demo showing Claude Opus does not find CVE-2023-0266☆17Mar 19, 2024Updated last year
- Small example MirageOS unikernels.☆15Jun 14, 2019Updated 6 years ago
- Irmin store backed by FoundationDB☆12Nov 19, 2019Updated 6 years ago
- PoC of modifying HexRays AST☆265Dec 17, 2019Updated 6 years ago
- YaCo is an Hex-Rays IDA plugin. When enabled, multiple users can work simultaneously on the same binary. Any modification done by any use…☆325Aug 5, 2019Updated 6 years ago
- Experiments in trying to find 0-days in numpy☆38Jul 1, 2017Updated 8 years ago
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆95Aug 25, 2023Updated 2 years ago
- BAP Plugins Repository☆58Nov 20, 2020Updated 5 years ago
- ☆125Mar 15, 2021Updated 4 years ago
- A binary analysis framework☆133Dec 17, 2020Updated 5 years ago
- Safely execute an arbitrary x86 instruction☆205Feb 6, 2024Updated 2 years ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆89Nov 7, 2025Updated 4 months ago
- EBA is a static bug finder for C.☆15Jun 22, 2020Updated 5 years ago