CryptoExperts / wyverse
White-box analytic framework based on LLVM
☆39Updated 5 years ago
Alternatives and similar repositories for wyverse:
Users that are interested in wyverse are comparing it to the libraries listed below
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- ☆30Updated 4 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆25Updated 5 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆28Updated 3 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Updated 3 years ago
- an obfuscator based on LLVM which can obfuscate the program execution trajectory☆24Updated 3 years ago
- ☆40Updated 3 years ago
- LLVM based devirtualization PoC’s.☆20Updated 3 years ago
- Binary Ninja plugin for automating VMProtect analysis☆58Updated 2 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 last year
- Ghidra plugin that adds a window showing the high P-code for the current function.☆15Updated last year
- A Go library speaking Hex-Rays IDA lumina protocol☆34Updated last year
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆19Updated 2 years ago
- expansion of afl-unicorn using c++☆28Updated 5 years ago
- Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17☆14Updated 3 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 3 years ago
- IDA (sort of) headless☆22Updated last year
- funky fun fuzzer☆11Updated 3 years ago
- Obfuscator based on logic-bombs☆65Updated 4 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- vm -- code interpreter☆26Updated 5 years ago
- Triton based symbolic emulator☆16Updated 2 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆32Updated 10 months ago
- IDA Database Importer plugin for Binary Ninja☆37Updated 5 months ago
- a code virtualizer based on angr☆29Updated 2 years ago
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- A library for dynamic binary rewriting☆57Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- ☆22Updated this week