JonathanSalwan / X-Tunnel-Opaque-PredicatesView external linksLinks
IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.
☆57Aug 17, 2019Updated 6 years ago
Alternatives and similar repositories for X-Tunnel-Opaque-Predicates
Users that are interested in X-Tunnel-Opaque-Predicates are comparing it to the libraries listed below
Sorting:
- ARMv7 architecture plugin☆40Mar 7, 2024Updated last year
- IDA SDK tech demo☆39May 25, 2020Updated 5 years ago
- ☆76Sep 30, 2021Updated 4 years ago
- Binary Ninja plugin for ROP gadget calculation☆28Jul 6, 2019Updated 6 years ago
- ☆28Apr 12, 2020Updated 5 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Apr 10, 2021Updated 4 years ago
- experimentation/code from Tanguy Dubroca (summer 2019)☆28Aug 10, 2019Updated 6 years ago
- IDA plugins and scripts for analyzing register usage frame☆180Jun 8, 2023Updated 2 years ago
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆127Mar 14, 2024Updated last year
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆321Jan 4, 2024Updated 2 years ago
- Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.☆21Dec 4, 2025Updated 2 months ago
- Hexrays decompiler plugin that colorizes and filters the decompiler's output based on regular expressions☆140Dec 8, 2023Updated 2 years ago
- A Unicorn based emulator to deobfuscate Equation Group string XOR obfuscation☆33Sep 26, 2018Updated 7 years ago
- The slides from my Saintcon 2019 talk.☆48Feb 9, 2020Updated 6 years ago
- Ghidra Program Analysis Library☆346Jun 28, 2023Updated 2 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Sep 23, 2022Updated 3 years ago
- Interface GDB-GEF with Binary Ninja☆59Mar 27, 2021Updated 4 years ago
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆881Nov 21, 2023Updated 2 years ago
- EFI DXE Emulator and Interactive Debugger☆87Apr 29, 2020Updated 5 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆793Feb 22, 2021Updated 4 years ago
- ☆21Jan 15, 2018Updated 8 years ago
- A plugin to integrate the Frida dynamic instrumentation toolkit into Binary Ninja.☆62Jun 1, 2020Updated 5 years ago
- ANBU (Automatic New Binary Unpacker) a tool for me to learn about PIN and about algorithms for generic unpacking.☆92May 23, 2019Updated 6 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Hrida is a http interface for Frida☆45Nov 8, 2017Updated 8 years ago
- An IOKit kext designed for microarchitectural security research on M1☆46Oct 30, 2022Updated 3 years ago
- Symbolic expression simplifier used across VTIL toolchain. Moved into -->☆25May 2, 2020Updated 5 years ago
- Export a binary from ghidra to emulate with unicorn☆27Oct 25, 2019Updated 6 years ago
- Monocerus emulator framework☆11Mar 28, 2019Updated 6 years ago
- A repository containing sample srop exploits and vulnerable binaries.☆12Sep 17, 2019Updated 6 years ago
- Packed Malware Analyzer (PACKMAN)☆12Jan 31, 2016Updated 10 years ago
- idahunt is a framework to analyze binaries with IDA Pro and hunt for things in IDA Pro☆387Sep 21, 2023Updated 2 years ago
- Clone of the IDAPython repo☆23Mar 16, 2015Updated 10 years ago
- ☆30Oct 13, 2020Updated 5 years ago
- HexRays ctree visualization plugin☆437Sep 6, 2024Updated last year
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆49May 11, 2020Updated 5 years ago
- Experimental opaque predicate detection for IDA Pro☆82Dec 22, 2017Updated 8 years ago
- call gates as stable comunication channel for NT x86 and Linux x86_64☆32Aug 11, 2023Updated 2 years ago