Simple template for using Remill on Windows/Linux/macos.
☆30Jan 7, 2026Updated 2 months ago
Alternatives and similar repositories for remill-template
Users that are interested in remill-template are comparing it to the libraries listed below
Sorting:
- Easily search LLVM headers for all major versions!☆19Sep 14, 2025Updated 6 months ago
- ☆25May 27, 2025Updated 9 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- E-Graph library☆22Apr 4, 2024Updated last year
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 9 months ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- ☆65Feb 23, 2025Updated last year
- ☆20Oct 14, 2024Updated last year
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 5 months ago
- Advanced Machine Decoder for x86, aarch32 and aarch64.☆21Mar 15, 2020Updated 6 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Oct 8, 2024Updated last year
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆81Jan 24, 2026Updated last month
- Precompiled LLVM packages ready for (de)obfuscation related development.☆22Dec 1, 2025Updated 3 months ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 4 months ago
- An optimizing decompiler (modified to use remill semantics)☆30Jan 4, 2019Updated 7 years ago
- OpenRewrite recipes for data flow analysis.☆15Mar 12, 2026Updated last week
- Cleaned elf for PS4 supporting c++ and includes imports and utility classes☆19Sep 25, 2020Updated 5 years ago
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- ☆34Jan 26, 2024Updated 2 years ago
- Deobfuscation via optimization with usage of LLVM IR and parsing assembly.☆779Mar 8, 2026Updated last week
- Borderlands2 hacker use UE3 SDK☆10Sep 18, 2019Updated 6 years ago
- Standalone static version of Triton's x86/x64 translator☆32Mar 28, 2025Updated 11 months ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆30Jul 30, 2021Updated 4 years ago
- A symbolic execution engine for LLVM IR☆52Apr 25, 2022Updated 3 years ago
- An AES-based 384 bit permutation.☆21May 3, 2025Updated 10 months ago
- ☆15Mar 13, 2023Updated 3 years ago
- ☆11Aug 10, 2023Updated 2 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- RISC-V Virtual Machine☆280Jun 10, 2025Updated 9 months ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆28Jun 23, 2025Updated 8 months ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆182Oct 12, 2023Updated 2 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- VM devirtualization PoC based on AsmJit and llvm☆123Sep 14, 2021Updated 4 years ago
- A collection of LLVM passes for obfuscating☆42Mar 9, 2023Updated 3 years ago
- binary instrumentation, analysis, and patching framework☆102Feb 20, 2026Updated last month
- SLOT: SMT-LLVM Optimizing Translation☆62Apr 17, 2025Updated 11 months ago
- Binary lifter and deobfuscator using remill for x86_64 Windows binaries☆73Mar 10, 2026Updated last week
- The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi☆11Oct 25, 2023Updated 2 years ago
- 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