My repository to store all the examples I do about symbolic execution
☆24Jun 6, 2026Updated 4 months ago
Alternatives and similar repositories for My-Symbolic-Execution
Users that are interested in My-Symbolic-Execution are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scripts, notes, and other files about the analysis of VMProtect with Dragon Tales☆16Sep 22, 2026Updated last month
- Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers☆19Oct 2, 2026Updated 3 weeks ago
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated 3 weeks ago
- Simple DLL and client app that work together to hook all the functions in WinHvPlatform.dll in order to provide logging and introspection…☆21Dec 1, 2021Updated 4 years ago
- The toolchain of Chosen-instruction attack☆25May 3, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆90Mar 28, 2026Updated 7 months ago
- Morok is a modular C++23 LLVM New-PM IR obfuscator. It loads as a pass plugin inside clang or opt, rewrites LLVM IR, and emits a behavior…☆104Oct 19, 2026Updated last week
- Bit-vector expression simplifier for binary analysis and deobfuscation☆61Oct 20, 2026Updated last week
- ⚠️ WIP: LLVM-C Python bindings with nanobind.☆23May 14, 2026Updated 5 months ago
- ☆13Jun 20, 2022Updated 4 years ago
- A specialized version of iced-x86 for binary lifting☆24Jun 25, 2026Updated 4 months ago
- 🚫🐦 Decrypt Warbird segments.☆17Nov 28, 2025Updated 11 months ago
- A declarative instruction decoder and disassembler generator using a custom DSL☆78Sep 26, 2026Updated last month
- x86-64 virtualizing obfuscator written in Rust☆120Nov 16, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Shifting.Codes☆30Feb 21, 2026Updated 8 months ago
- This is the PoC of a dynamic lifter and deobfuscator with collecting trace.☆37Oct 11, 2023Updated 3 years ago
- ☆108Oct 25, 2025Updated last year
- ☆12Sep 8, 2020Updated 6 years ago
- binary instrumentation, analysis, and patching framework☆106Feb 20, 2026Updated 8 months ago
- My own version from "Writing a C Compiler" Book from NoStarchPress using C++ and LLVM libraries.☆41May 18, 2026Updated 5 months ago
- Rust interface for cvc5☆17Oct 13, 2026Updated 2 weeks ago
- Devirtualizer for binaryshield☆22Mar 25, 2026Updated 7 months ago
- AES-256-CBC with some evasion techniques☆15Aug 31, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MBA-Blast is a tool for simplification of MBA expressions.☆84Aug 6, 2021Updated 5 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆18Dec 8, 2020Updated 5 years ago
- got oriented programming gadget finder☆14May 5, 2024Updated 2 years ago
- Custom instruction length for hex-rays☆29Jan 17, 2026Updated 9 months ago
- A generic detection engine (.lib) for Windows which uses downloadable custom rulesets to detect & block processes. Can be used in anti-vi…☆23Oct 17, 2025Updated last year
- 🛡️ Open-source binary protection toolkit for Windows PE. Nanomite, VM protection, anti-debug, and more.☆65Feb 8, 2026Updated 8 months ago
- Il2CppDumper fork with a native Rust PDB generator for x64 PE (GameAssembly.dll): function names, full struct types and typed prototypes,…☆53Jun 6, 2026Updated 4 months ago
- Stack String Explorer is a ghidra plugin to find and report stack strings (and other constant strings). Identified strings are commented …☆28Aug 20, 2024Updated 2 years ago
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆119Jun 22, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Standalone static version of Triton's x86/x64 translator☆33May 2, 2026Updated 5 months ago
- Use PKfail to install UEFI Bootkits☆24Aug 16, 2026Updated 2 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆88Sep 18, 2026Updated last month
- Binary lifter and deobfuscator using remill for x86_64 Windows binaries☆104Apr 20, 2026Updated 6 months ago
- A demonstration of hooking into the VMProtect-2 virtual machine☆27Nov 9, 2023Updated 2 years ago
- Text embedding and re-ranking in Rust☆14Aug 5, 2026Updated 2 months ago
- Source code for XTRIDE: "Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures"☆25Jun 24, 2026Updated 4 months ago