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
- Complete examples of solidity exploits☆13Oct 17, 2017Updated 8 years ago
- A White-Box Masking Scheme Against Computational and Algebraic Attacks☆13Jan 6, 2021Updated 5 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 5 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months 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
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- LLVM based devirtualization PoC’s.☆21Dec 11, 2021Updated 4 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…☆22Mar 24, 2021Updated 4 years ago
- ☆15Mar 13, 2023Updated 3 years ago
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆26Oct 31, 2020Updated 5 years ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 4 months ago
- Labyrinth, an LLVM obfuscation plugin for the New Pass Manager☆44Feb 23, 2025Updated last year
- Personal curation of Clang/LLVM patches.☆12Feb 27, 2021Updated 5 years ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆81Jan 24, 2026Updated last month
- Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.☆144Mar 31, 2024Updated last year
- A collection of LLVM transform and analysis passes to write shellcode in regular C☆381Jun 12, 2023Updated 2 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
- devirtualization vmprotect☆65Mar 11, 2023Updated 3 years ago
- Apple PCC research☆17Mar 14, 2025Updated last year
- A console debugger using DbgX and Terminal.Gui☆30Oct 12, 2022Updated 3 years ago
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- Instrumenting a binary without source code to bypass anti-debug checks☆38Sep 25, 2021Updated 4 years ago
- Binary Ninja plugin for automating VMProtect analysis☆63Dec 2, 2022Updated 3 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
- Non-linear Mixed Boolean-Arithmetic Expressions☆73Apr 18, 2024Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- AMD SVM hypervisor rootkit proof of concept☆49Sep 23, 2023Updated 2 years ago
- LLVM String Obfuscator☆270May 11, 2021Updated 4 years 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
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- do not debug me☆11Jun 26, 2019Updated 6 years ago
- The Trinity client for the Eth2 network☆15Aug 25, 2020Updated 5 years ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆182Oct 12, 2023Updated 2 years ago
- ☆13Jun 20, 2022Updated 3 years ago
- ☆57Oct 15, 2020Updated 5 years ago
- Decentralized Domain Name System (DDNS) on the Ethereum blockchain. The project utilizes a set of Solidity smart contracts in order to pr…☆20Dec 9, 2022Updated 3 years ago