BinRec: Dynamic Binary Lifting and Recompilation
☆149Sep 18, 2023Updated 2 years ago
Alternatives and similar repositories for binrec-tob
Users that are interested in binrec-tob are comparing it to the libraries listed below
Sorting:
- The next generation reverse engineering IDE (work-in-progress).☆105Jun 27, 2024Updated last year
- Lift machine code to performant LLVM IR☆490Jun 17, 2024Updated last year
- Self-hosting binary instrumentation framework for security research☆12Apr 10, 2023Updated 2 years ago
- LLVM based static binary analysis framework☆302Apr 2, 2025Updated 11 months ago
- llvm powered deobfuscation of a vm-based protection☆47Updated this week
- ☆75Jan 14, 2024Updated 2 years ago
- transpile llil to c++ for execution and testing☆48Jan 11, 2024Updated 2 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆366Sep 3, 2024Updated last year
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆286Jun 7, 2024Updated last year
- Deobfuscation via optimization with usage of LLVM IR and parsing assembly.☆766Sep 29, 2025Updated 5 months ago
- Python bindings for the Icicle emulator.☆41Nov 6, 2025Updated 3 months ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆181Oct 12, 2023Updated 2 years ago
- symbolic execution plugin for binary ninja☆349Jan 26, 2026Updated last month
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆80Jan 24, 2026Updated last month
- Collection of Cheat dumps for Research and Detection.☆16Jan 4, 2026Updated last month
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 3 months ago
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆400Dec 4, 2024Updated last year
- ☆30Jan 28, 2021Updated 5 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Feb 23, 2026Updated last week
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆203Jul 23, 2021Updated 4 years ago
- An IDA plugin that eases reversing of binaries that have been code-size-optimized with function outlining☆224Dec 31, 2024Updated last year
- gooMBA is a Hex-Rays Decompiler plugin to simplify Mixed Boolean-Arithmetic (MBA) expressions☆670Nov 10, 2025Updated 3 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- An awesome & curated list of binary rewriting papers☆263Apr 4, 2022Updated 3 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- Library for lifting machine code to LLVM bitcode☆1,605Feb 13, 2026Updated 2 weeks ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆167Feb 16, 2025Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆124Updated this week
- VSCode extension for the LLVM IR language☆60May 29, 2024Updated last year
- Xyntia, the black-box deobfuscator☆87Dec 11, 2025Updated 2 months ago
- A graphing library for Control Flow Graphs☆105Jun 19, 2025Updated 8 months ago
- A binary analysis framework written in Rust.☆175Updated this week
- Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects☆87Oct 2, 2022Updated 3 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Updated this week
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 4 months ago
- Easily search LLVM headers for all major versions!☆19Sep 14, 2025Updated 5 months ago
- llvm-mctoll☆869Jun 22, 2024Updated last year