White-box analytic framework based on LLVM
☆39Jun 10, 2019Updated 6 years ago
Alternatives and similar repositories for wyverse
Users that are interested in wyverse are comparing it to the libraries listed below
Sorting:
- ☆13Sep 25, 2023Updated 2 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Apr 10, 2021Updated 4 years ago
- Lightweight WINAPI tracing with Pin☆27Aug 22, 2019Updated 6 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 7 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 4 months ago
- Complete examples of solidity exploits☆13Oct 17, 2017Updated 8 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Mar 24, 2021Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- Labyrinth, an LLVM obfuscation plugin for the New Pass Manager☆44Feb 23, 2025Updated last year
- A White-Box Masking Scheme Against Computational and Algebraic Attacks☆13Jan 6, 2021Updated 5 years ago
- LLVM based devirtualization PoC’s.☆21Dec 11, 2021Updated 4 years ago
- AMD SVM hypervisor rootkit proof of concept☆48Sep 23, 2023Updated 2 years ago
- A console debugger using DbgX and Terminal.Gui☆30Oct 12, 2022Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 9 months ago
- devirtualization vmprotect☆65Mar 11, 2023Updated 2 years ago
- Apple PCC research☆16Mar 14, 2025Updated 11 months ago
- ☆13Jun 20, 2022Updated 3 years ago
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆80Jan 24, 2026Updated last month
- Non-linear Mixed Boolean-Arithmetic Expressions☆72Apr 18, 2024Updated last year
- Type 2 Hypervisor for security research supported by AMD-V hardware assisted virtualization☆41Jan 9, 2023Updated 3 years ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 3 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Mar 23, 2023Updated 2 years ago
- Personal curation of Clang/LLVM patches.☆12Feb 27, 2021Updated 5 years ago
- A collection of LLVM transform and analysis passes to write shellcode in regular C☆380Jun 12, 2023Updated 2 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Dec 29, 2024Updated last year
- Instrumenting a binary without source code to bypass anti-debug checks☆38Sep 25, 2021Updated 4 years ago
- Minidump loader for Binary Ninja☆15Sep 25, 2025Updated 5 months ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Oct 8, 2024Updated last year
- Abusing exceptions for code execution.☆113Jan 30, 2023Updated 3 years ago
- Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.☆144Mar 31, 2024Updated last year
- Binary Ninja plugin for exploring Structured Exception Handlers☆83Jun 6, 2024Updated last year
- Binary Ninja plugin for automating VMProtect analysis☆63Dec 2, 2022Updated 3 years ago
- LLVM String Obfuscator☆272May 11, 2021Updated 4 years ago
- LLVM Without The ROP Gadgets!☆25Jan 9, 2024Updated 2 years ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- MBA-Blast is a tool for simplification of MBA expressions.☆70Aug 6, 2021Updated 4 years ago