A binary optimization/specialization library supporting multiple rewriters
☆123Mar 23, 2026Updated 5 months ago
Alternatives and similar repositories for binopt
Users that are interested in binopt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lift machine code to performant LLVM IR☆509Jun 17, 2024Updated 2 years ago
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆291Jun 7, 2024Updated 2 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Mar 23, 2023Updated 3 years ago
- ☆46Apr 10, 2021Updated 5 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 6 years ago
- LLVM based devirtualization PoC’s.☆20Dec 11, 2021Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 5 years ago
- ☆24Oct 11, 2021Updated 4 years ago
- Load-time selective binary rewriting☆165Updated this week
- Generating binary modules with zasm☆12Jul 22, 2022Updated 4 years ago
- Non-linear Mixed Boolean-Arithmetic Expressions☆74Apr 18, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.☆231Aug 19, 2026Updated last week
- A suite of experiments for evaluating open-source binary taint trackers.☆33Feb 15, 2022Updated 4 years ago
- Header only wrapper around Hex-Rays API in C++20.☆169Dec 25, 2024Updated last year
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 years ago
- Multiplayer snake game written at a single weekend☆13Jul 10, 2019Updated 7 years ago
- LLVM Without The ROP Gadgets!☆24Jan 9, 2024Updated 2 years ago
- ☆31Jan 12, 2022Updated 4 years ago
- How to create VMware vagrant box☆11May 10, 2020Updated 6 years ago
- A plugin that adds a popup window to Binary Ninja that explains in simple English what an assembly instruction does☆52Jan 13, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Personal curation of Clang/LLVM patches.☆11Feb 27, 2021Updated 5 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆75Nov 12, 2019Updated 6 years ago
- The next generation reverse engineering IDE (work-in-progress).☆106Jun 14, 2026Updated 2 months ago
- CaPI: Compiler-assisted Performance Instrumentation☆19May 26, 2026Updated 3 months ago
- llvm crash analysis☆43Jun 26, 2024Updated 2 years ago
- Simple, WIP Linux x64 emulator using Windows Hypervisor Platform.☆17Jun 5, 2020Updated 6 years ago
- MCSema Build Windows download☆11Jul 6, 2020Updated 6 years ago
- ☆10Oct 1, 2024Updated last year
- A way to detect DBI frameworks, Debuggers and VMs.☆25Nov 17, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Header-only VMWare Backdoor API Implementation & Effortless VMX Patcher for Custom Guest-to-Host RPCs☆108Dec 26, 2020Updated 5 years ago
- x64 PE-COFF virtualization driven obfuscation engine☆59Oct 14, 2022Updated 3 years ago
- A disassembler☆23May 2, 2022Updated 4 years ago
- VTIL command line utility☆29Feb 1, 2022Updated 4 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆82Aug 6, 2021Updated 5 years ago
- Open-source symbolic execution framework: https://maat.re☆651May 22, 2026Updated 3 months ago
- A tool for analyzing x86-64 binaries.☆343Oct 18, 2024Updated last year