Binary rewriting and delinking (reifying static relocations lost during link) based on a "float and anchor" approach.
☆13Aug 18, 2025Updated last year
Alternatives and similar repositories for bin-of-theseus
Users that are interested in bin-of-theseus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jun 3, 2025Updated last year
- A debugger for Windows ARM64 (AARCH64), user-friendly for reverse engineers, malware analysts, malware developers, game hacking, operatin…☆73May 6, 2025Updated last year
- Accelerated execution for fast Windows fuzzing☆25Jan 9, 2025Updated last year
- [100% AI Generated Code] Lightweight LLVM Symbolic Execution Engine☆25Jun 1, 2026Updated 4 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆25May 1, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated 2 years ago
- ☆25Jun 30, 2026Updated 4 months ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 8 years ago
- ☆11Nov 28, 2024Updated last year
- A specialized version of iced-x86 for binary lifting☆24Jun 25, 2026Updated 4 months ago
- LLVM Graph View for VSCode☆42Mar 25, 2025Updated last year
- VMProtect Web端打包&序列号生成工具。☆14Oct 6, 2026Updated 3 weeks ago
- ☆13Jan 23, 2020Updated 6 years ago
- ☆26Jun 18, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆21Oct 8, 2024Updated 2 years ago
- ☆44Sep 21, 2026Updated last month
- ☆12Sep 26, 2016Updated 10 years ago
- A tool to subvert the Windows image loader for auxiliary payload execution.☆20Sep 9, 2026Updated last month
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Mar 26, 2022Updated 4 years ago
- ☆65Jan 8, 2026Updated 9 months ago
- ☆21Oct 18, 2023Updated 3 years ago
- A debugger library using VEH.☆82Sep 3, 2024Updated 2 years ago
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bit-vector expression simplifier for binary analysis and deobfuscation☆62Oct 20, 2026Updated last week
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆115Oct 7, 2026Updated 3 weeks ago
- Python bindings for the Icicle emulator.☆43Nov 6, 2025Updated 11 months ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆23Jun 13, 2023Updated 3 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Dec 3, 2021Updated 4 years ago
- Defeating WARBIRD obfuscation with one stone☆46Aug 19, 2023Updated 3 years ago
- Non-linear Mixed Boolean-Arithmetic Expressions☆75Apr 18, 2024Updated 2 years ago
- static symmetry breaking for SAT☆26May 26, 2026Updated 5 months ago
- A circuit-based Boolean satisfiability (SAT) solver☆19Jan 12, 2026Updated 9 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary N…☆44Sep 13, 2026Updated last month
- ☆22Mar 23, 2016Updated 10 years ago
- Anti-Rootkit & System kernel management tool☆86Jun 30, 2026Updated 4 months ago
- ☆59Jan 27, 2023Updated 3 years ago
- The Native Reverse Engineering IDE. Zero-overhead binary analysis, full CPU emulation (PE/ELF), and headless automation. Powered by Capst…☆27Sep 23, 2026Updated last month
- Simple, fast and lightweight Header-Only C++ Assembler Library☆144Aug 13, 2025Updated last year
- An assistant for BinDiff☆25Feb 21, 2023Updated 3 years ago