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:
- 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
- ☆31Updated 5 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Updated 5 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆17Updated 2 years ago
- IDA Database Importer plugin for Binary Ninja☆37Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆45Updated 4 years ago
- x86/x64 architecture plugin☆40Updated last year
- ☆59Updated 2 years ago
- LLVM based devirtualization PoC’s.☆21Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- Obfuscator based on logic-bombs☆67Updated 5 years ago
- ☆76Updated 4 years ago
- funky fun fuzzer☆11Updated 4 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 4 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆22Updated 3 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Updated 2 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆72Updated 6 years ago
- expansion of afl-unicorn using c++☆28Updated 6 years ago
- ☆32Updated 3 weeks 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
- Alternative API for IDA / Hex-Rays☆75Updated 2 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Raw IDA Kernel API for IDAPython☆34Updated 3 years ago
- IDA SDK tech demo☆39Updated 5 years ago
- This is the source of our Return Oriented Programming tool.☆14Updated 6 years ago
- binary->LLVM->circuits☆19Updated last year