Website for viewing the executable IA specification (external view). This combines data from the SDM and XED with a new executable specifiation.
☆67Oct 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for SDM
Users that are interested in SDM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 25, 2023Updated 3 years ago
- ☆11Nov 28, 2024Updated last year
- Just another story about dragons...☆58Updated this week
- LLVM Graph View for VSCode☆42Mar 25, 2025Updated last year
- ☆14Updated this week
- 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.
- NoWarbird - Warbird devirtualization project☆87Aug 25, 2026Updated 2 months ago
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 3 weeks ago
- tiny arm64 hooking library (WIP)☆29Dec 8, 2025Updated 11 months ago
- Fix VMProtect 3.xx (tested 3.0.9 to 3.5.0)☆21Feb 1, 2022Updated 4 years ago
- Partial evaluator for Arm's Architecture Specification Language (ASL)☆21Jun 12, 2026Updated 4 months ago
- An analysis and static deobfuscation of codedefender.io protected samples.☆99Apr 18, 2026Updated 6 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 5 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 8 years ago
- ☆25Nov 3, 2026Updated last week
- 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.
- SIMDized check which bytes are in a set☆32Oct 21, 2018Updated 8 years ago
- White-box analytic framework based on LLVM☆38Jun 10, 2019Updated 7 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 5 years ago
- Bit-vector expression simplifier for binary analysis and deobfuscation☆63Updated this week
- Disarm — Fast AArch64 Decode/Encoder☆56Sep 7, 2026Updated 2 months ago
- ☆16Mar 17, 2026Updated 7 months ago
- Windows kernel driver and usermode app emulator for x86-64 and ARM64 targets.☆198Nov 1, 2026Updated last week
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 3 years ago
- ☆43Oct 26, 2026Updated 2 weeks 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.
- Simple anti-instrumentation with EFLAGS.AC☆17Mar 31, 2025Updated last year
- x86 decoders for the yaxpeax project☆161Aug 15, 2026Updated 2 months ago
- Provides libclang-based source code parsing in Ghidra☆13Jan 27, 2023Updated 3 years ago
- VTIL2 is a ground-up reimagination of the VTIL Project, completely rewritten in modern C# with enterprise-grade architecture, performance…☆76Oct 29, 2025Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆89Sep 18, 2026Updated last month
- Use Prolog to analyze memory dumps and stopped live processes in WinDbg.☆15Oct 20, 2026Updated 3 weeks ago
- ☆26Sep 27, 2026Updated last month
- ida utilities / plugins / scripts☆114Jun 5, 2026Updated 5 months ago
- ☆62May 4, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A C++ REPL for IDA Pro / IDA C++ SDK☆96Mar 26, 2026Updated 7 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆60May 15, 2026Updated 5 months ago
- Themida v3 x64 automatic unpacker — Rust reimplementation of Hendi48/Magicmida (Pascal). Deletes shell sections, fixes absolute addresses…☆24Nov 2, 2026Updated last week
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆21Dec 3, 2023Updated 2 years ago
- ☆21Oct 2, 2018Updated 8 years ago
- Test suite for C/C++/Fortran compilers developed by Fujitsu☆55Updated this week
- ☆11Oct 26, 2026Updated 2 weeks ago
Are these results useful?