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 3 years ago
- ☆31Updated 5 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Updated 4 years ago
- Obfuscator based on logic-bombs☆66Updated 5 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆22Updated 3 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Updated 4 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
- IDA Database Importer plugin for Binary Ninja☆37Updated 10 months ago
- x86/x64 architecture plugin☆40Updated last year
- LLVM based devirtualization PoC’s.☆21Updated 3 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆71Updated 5 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- binary->LLVM->circuits☆19Updated last year
- A library for dynamic binary rewriting☆58Updated 4 years ago
- ☆76Updated 3 years ago
- Alternative API for IDA / Hex-Rays☆75Updated last year
- expansion of afl-unicorn using c++☆28Updated 5 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆17Updated 2 years ago
- Binary Ninja plugin for automating VMProtect analysis☆61Updated 2 years ago
- nanoMIPS IDA plugin☆67Updated 3 years ago
- Instrumenting a binary without source code to bypass anti-debug checks☆35Updated 3 years ago
- ☆24Updated 9 years ago
- A Generalized Dynamic Opaque Predicate Obfuscator☆45Updated 8 years ago
- ☆25Updated 2 months ago
- MBA-Blast is a tool for simplification of MBA expressions.☆64Updated 3 years ago
- A Go library speaking Hex-Rays IDA lumina protocol☆34Updated 2 years ago
- vm -- code interpreter☆25Updated 6 years ago
- Library for Capstone instruction to LLVM IR translation☆47Updated 7 years ago
- Triton based symbolic emulator☆16Updated 2 years ago