pgarba / Saturn_ResultsView external linksLinks
This repo contains the tests and results that were done during the research of SATURN
☆43Dec 10, 2020Updated 5 years ago
Alternatives and similar repositories for Saturn_Results
Users that are interested in Saturn_Results are comparing it to the libraries listed below
Sorting:
- Virtual machine with a custom instruction set in C☆16Jul 17, 2018Updated 7 years ago
- ☆21Oct 2, 2018Updated 7 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 7 years ago
- PoC for a taint based attack on VMProtect☆123Jul 3, 2019Updated 6 years ago
- Obfuscator based on logic-bombs☆68May 9, 2020Updated 5 years ago
- LLVM based devirtualization PoC’s.☆21Dec 11, 2021Updated 4 years ago
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆27Dec 17, 2019Updated 6 years ago
- x64dbg Malware Plugin. Detect malicious materials☆16Jun 13, 2020Updated 5 years ago
- ☆22Mar 23, 2016Updated 9 years ago
- Personal curation of Clang/LLVM patches.☆12Feb 27, 2021Updated 4 years ago
- ☆13Dec 27, 2019Updated 6 years ago
- ☆181Nov 25, 2018Updated 7 years ago
- Documentation of the VTIL API.☆32Nov 1, 2020Updated 5 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- Files for my solution to the SSTIC 2021 challenge☆15Jun 14, 2021Updated 4 years ago
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.☆203Jul 23, 2021Updated 4 years ago
- UNIPE - A small framwork to execute PE files with UniCorn☆47Jan 25, 2018Updated 8 years ago
- A number of samples to get you started with VTILs API.☆38Jul 28, 2021Updated 4 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆321Jan 4, 2024Updated 2 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Dec 8, 2020Updated 5 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 9 months ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆39Apr 3, 2020Updated 5 years ago
- A project that aims to automatically devirtualize code that has been virtualized using x86virt☆126Dec 3, 2022Updated 3 years ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆30Jul 30, 2021Updated 4 years ago
- Control-flow-flattening and string deobfuscator☆160Nov 8, 2021Updated 4 years ago
- Tracks cross references and allows fast viewing of pseudocode between references☆13Mar 10, 2025Updated 11 months ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆80Jan 24, 2026Updated 3 weeks ago
- transpile llil to c++ for execution and testing☆48Jan 11, 2024Updated 2 years ago
- ☆25May 27, 2025Updated 8 months ago
- ☆20Feb 22, 2021Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 7 years ago
- random ctf bits☆10Nov 18, 2024Updated last year
- Valgrind tool for tracing memory accesses☆13Feb 6, 2025Updated last year
- Monocerus emulator framework☆11Mar 28, 2019Updated 6 years ago
- This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM☆28Nov 6, 2023Updated 2 years ago
- Futile attempt to solve the Tigress challenges using angr☆23May 22, 2019Updated 6 years ago