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
- Obfuscator based on logic-bombs☆67Updated 5 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- ☆31Updated 5 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Updated 4 years ago
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Updated last month
- Ghidra plugin that adds a window showing the high P-code for the current function.☆17Updated 2 years ago
- x86/x64 architecture plugin☆40Updated last year
- binary->LLVM->circuits☆19Updated last year
- IDA Database Importer plugin for Binary Ninja☆37Updated last year
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆22Updated 4 years ago
- LLVM based devirtualization PoC’s.☆21Updated 4 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆73Updated 6 years ago
- expansion of afl-unicorn using c++☆28Updated 6 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆48Updated 5 years ago
- XDV is disassembler or debugger that works based on the extension plugin.☆55Updated 6 years ago
- Self-modifying Code de-obfuscation☆17Updated 8 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
- A library for dynamic binary rewriting☆58Updated 4 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Updated 2 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 5 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆36Updated last year
- A Go library speaking Hex-Rays IDA lumina protocol☆38Updated 2 years ago
- IDA (sort of) headless☆26Updated last year
- vm -- code interpreter☆25Updated 6 years ago
- ☆76Updated 4 years ago
- ☆22Updated 9 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- ☆45Updated 4 years ago