Pusty/ferret 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

Pusty/ferret

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/Pusty/ferret)

Close

Pusty / ferretView on GitHubMore

• External links
• Readme badge

Mixed Boolean Arithmetic Simplification using E-Graphs

☆24May 1, 2025Updated 10 months ago

Alternatives and similar repositories for ferret

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

• astean1001 / ProMBA

  View on GitHub
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆57Oct 13, 2025Updated 5 months ago
• LLVMParty / llvm-headers

  View on GitHub
  Easily search LLVM headers for all major versions!
  ☆19Sep 14, 2025Updated 6 months ago
• mrexodia / binja-standalone-api

  View on GitHub
  Standalone API for Binary Ninja's LLIL
  ☆21Aug 6, 2024Updated last year
• mazeworks-security / MSiMBA

  View on GitHub
  Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
  ☆81Jan 24, 2026Updated last month
• icicle-emu / icicle-python

  View on GitHub
  Python bindings for the Icicle emulator.
  ☆41Nov 6, 2025Updated 4 months ago
• oopsmishap / ida-forge

  View on GitHub
  ☆12Feb 2, 2025Updated last year
• pgarba / SiMBA-

  View on GitHub
  Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)
  ☆107Nov 5, 2025Updated 4 months ago
• fvrmatteo / oracle-synthesis-meets-equality-saturation

  View on GitHub
  ☆25May 27, 2025Updated 9 months ago
• can-lehmann / egraphs.cpp

  View on GitHub
  E-Graph library
  ☆22Apr 4, 2024Updated last year
• Colton1skees / Symex

  View on GitHub
  Symbolic executor for Binary Ninja's MLIL
  ☆25Oct 3, 2024Updated last year
• dwuid / chenxification

  View on GitHub
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆17May 2, 2018Updated 7 years ago
• mazeworks-security / Simplifier

  View on GitHub
  Efficient general mixed boolean-arithmetic (MBA) simplifier
  ☆126Updated this week
• LLVMParty / remill-template

  View on GitHub
  Simple template for using Remill on Windows/Linux/macos.
  ☆30Jan 7, 2026Updated 2 months ago
• plzin / mba-wasm

  View on GitHub
  Mixed Boolean-Arithmetic in Rust for WebAssembly
  ☆30Jun 14, 2025Updated 9 months ago
• DenuvoSoftwareSolutions / SiMBA

  View on GitHub
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆182Oct 12, 2023Updated 2 years ago
• hargoniX / Leanwuzla

  View on GitHub
  Connecting bv_decide to SMTLIB.
  ☆13Jan 5, 2026Updated 2 months ago
• philzook58 / eggmt

  View on GitHub
  Egraphs Modulo Theories
  ☆18Jun 10, 2025Updated 9 months ago
• loyaltypollution / ida2llvm

  View on GitHub
  ☆59Jan 8, 2026Updated 2 months ago
• psifertex / breaking_decompilers

  View on GitHub
  breaking decompilers
  ☆56May 9, 2025Updated 10 months ago
• CryptoExperts / wyverse

  View on GitHub
  White-box analytic framework based on LLVM
  ☆38Jun 10, 2019Updated 6 years ago
• fvrmatteo / TritonASTLLVMIRTranslator

  View on GitHub
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆39Apr 3, 2020Updated 5 years ago
• mrexodia / cxx-common-cmake

  View on GitHub
  Experiment building lifting-bits dependencies with pure CMake. Migrated to:
  ☆22Oct 8, 2024Updated last year
• kyle-elliott / DVM

  View on GitHub
  Symbolic Execution based on lifting amd64 to z3
  ☆32Jul 2, 2024Updated last year
• evm-sec / high-pcode

  View on GitHub
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Apr 7, 2023Updated 2 years ago
• 0xGotcha / XrefXpert

  View on GitHub
  Tracks cross references and allows fast viewing of pseudocode between references
  ☆13Mar 10, 2025Updated last year
• triskellib / vscode

  View on GitHub
  LLVM Graph View for VSCode
  ☆40Mar 25, 2025Updated 11 months ago
• DenuvoSoftwareSolutions / GAMBA

  View on GitHub
  Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
  ☆214Nov 21, 2023Updated 2 years ago
• Fare9 / KUNAI-static-analyzer

  View on GitHub
  Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
  ☆144Mar 31, 2024Updated last year
• triskellib / triskel

  View on GitHub
  A graphing library for Control Flow Graphs
  ☆108Jun 19, 2025Updated 9 months ago
• mikekben / SLOT

  View on GitHub
  SLOT: SMT-LLVM Optimizing Translation
  ☆62Apr 17, 2025Updated 11 months ago
• seclab-ucr / Unias

  View on GitHub
  A Hybrid Alias Analysis
  ☆19Aug 10, 2023Updated 2 years ago
• hurchalla / modular_arithmetic

  View on GitHub
  Clockwork: A Modular Arithmetic library for C++
  ☆12Nov 18, 2025Updated 4 months ago
• snowsnowsnows / ManyTypes

  View on GitHub
  x64dbg typeparsing plugin with Windows types
  ☆74Aug 29, 2025Updated 6 months ago
• UQ-PAC / llvm-translator

  View on GitHub
  ☆13Sep 25, 2023Updated 2 years ago
• MrRoy09 / VMwhere

  View on GitHub
  LLVM based obfuscation engine
  ☆113Jun 19, 2025Updated 9 months ago
• optimisan / llvm-mips-backend

  View on GitHub
  Tutorial for writing an LLVM backend
  ☆31May 19, 2025Updated 10 months ago
• microsoft / mcBV

  View on GitHub
  A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
  ☆22Jun 13, 2023Updated 2 years ago
• lifting-bits / gap

  View on GitHub
  A utility library to bridge llvm and mlir gaps.
  ☆15Jan 8, 2025Updated last year
• Colton1skees / Dna

  View on GitHub
  LLVM based static binary analysis framework
  ☆303Apr 2, 2025Updated 11 months ago