CryptoExperts / wyverseLinks
White-box analytic framework based on LLVM
☆39Updated 6 years ago
Alternatives and similar repositories for wyverse
Users that are interested in wyverse are comparing it to the libraries listed below
Sorting:
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Updated 4 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- Obfuscator based on logic-bombs☆67Updated 5 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆22Updated 3 years ago
- ☆31Updated 5 years ago
- x86/x64 architecture plugin☆40Updated last year
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- A Go library speaking Hex-Rays IDA lumina protocol☆38Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆71Updated 5 years ago
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Updated 4 years ago
- LLVM based devirtualization PoC’s.☆21Updated 3 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆17Updated 2 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17Updated 7 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- expansion of afl-unicorn using c++☆28Updated 6 years ago
- ☆44Updated 4 years ago
- Triton based symbolic emulator☆16Updated 2 years ago
- Alternative API for IDA / Hex-Rays☆75Updated 2 years ago
- binary->LLVM->circuits☆19Updated last year
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆35Updated last year
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 4 years ago
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆24Updated 2 years ago
- ☆18Updated 4 months ago
- Binary Ninja plugin for automating VMProtect analysis☆62Updated 2 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆66Updated 4 years ago
- ☆76Updated 4 years ago