pgarba / Saturn_Results
This repo contains the tests and results that were done during the research of SATURN
☆38Updated 4 years ago
Alternatives and similar repositories for Saturn_Results:
Users that are interested in Saturn_Results are comparing it to the libraries listed below
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆35Updated 5 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆49Updated last year
- obfuscation that aims to not stand out☆23Updated 3 years ago
- Library for Capstone instruction to LLVM IR translation☆45Updated 7 years ago
- ☆23Updated last month
- PoC for a taint based attack on VMProtect☆108Updated 5 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆26Updated 5 years ago
- Emulation Wrapper Solution is a IDA Pro plugin that brings emulator capacities to provide features such as debugging an mocking.☆19Updated last year
- Obfuscator based on logic-bombs☆65Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated 2 years ago
- A Generalized Dynamic Opaque Predicate Obfuscator☆45Updated 8 years ago
- Port of MBA Solver SiMBA to C/C++☆77Updated 2 weeks ago
- Build your emulation environment as needed☆66Updated 3 years ago
- nanoMIPS IDA plugin☆68Updated 3 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆82Updated 5 years ago
- UNIPE - A small framwork to execute PE files with UniCorn☆45Updated 7 years ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆28Updated 3 years ago
- Alternative API for IDA / Hex-Rays☆73Updated last year
- ☆27Updated 6 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆70Updated 5 years ago
- Small programs and scripts that do not require their own repositories☆137Updated 3 years ago
- Debug IDAPython in VSCode☆25Updated 2 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last week
- IDA Python3 Plugin to make your RE life easier. Trace execution and save code/memory for detailed exploration.☆34Updated last year
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆64Updated 5 months ago
- IDAPatternSearch adds a capability of finding functions according to bit-patterns into the well-known IDA Pro disassembler based on Ghidr…☆63Updated 3 years ago
- ☆64Updated 4 months ago
- Symbolic expression simplifier used across VTIL toolchain. Moved into -->☆24Updated 4 years ago
- VMProtect analysis script☆52Updated 5 years ago