binsec / xyntiaLinks
Xyntia, the black-box deobfuscator
☆70Updated last month
Alternatives and similar repositories for xyntia
Users that are interested in xyntia are comparing it to the libraries listed below
Sorting:
- ☆76Updated 3 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆121Updated 3 weeks ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated last week
- ☆72Updated 3 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆76Updated 2 years ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆158Updated last year
- ☆65Updated 6 months ago
- Control-flow-flattening and string deobfuscator☆152Updated 3 years ago
- breaking decompilers☆48Updated 3 weeks ago
- ☆61Updated 3 months ago
- Build your emulation environment as needed☆66Updated 4 years ago
- A Generalized Dynamic Opaque Predicate Obfuscator☆45Updated 8 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆83Updated 5 years ago
- Symbolic Simplification with PAttern Matching☆105Updated 8 years ago
- Various scripts for the Hexrays decompiler☆94Updated last year
- Binja (sort of) headless☆47Updated 3 months ago
- ☆70Updated last year
- Slides, recordings and materials of my public presentations, talks and workshops.☆78Updated 2 months ago
- Small programs and scripts that do not require their own repositories☆138Updated 3 years ago
- Collects extended function properties from IDA Pro databases☆93Updated 4 years ago
- Port of MBA Solver SiMBA to C/C++☆83Updated last month
- ☆42Updated 4 years ago
- Making Type Info Library (TIL) file for Apache modules☆56Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Nampa - FLIRT for (binary) ninjas☆94Updated 5 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- ☆78Updated 2 years ago
- Transfer analysis data between Binary Ninja and IDA☆133Updated 8 months ago