simple type recognition in decompiled executables
☆122Jul 4, 2024Updated last year
Alternatives and similar repositories for STRIDE
Users that are interested in STRIDE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆62May 20, 2025Updated last year
- Port of Mandiant ShellcodeHashes plugin from IDA to BinaryNinja☆11Jul 24, 2024Updated last year
- Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process☆59May 30, 2026Updated 2 weeks ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆120Nov 26, 2024Updated last year
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆178Jun 7, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- programmatic binary patching using ptrace☆14Aug 9, 2025Updated 10 months ago
- Common format for transferring and applying function information across binary analysis tools☆65Nov 5, 2025Updated 7 months ago
- The Decompilation Wiki: info on all things decompilation☆244May 8, 2026Updated last month
- Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com☆406Jun 5, 2026Updated last week
- ast pattern matching with automated structure recovery for hex-rays decompiler☆35Apr 18, 2026Updated last month
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆132Apr 10, 2025Updated last year
- ☆67Dec 17, 2025Updated 5 months ago
- Convert low ghidra pcode to verifiable C☆24Sep 13, 2024Updated last year
- LLVM based static binary analysis framework☆347May 25, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆22Sep 10, 2024Updated last year
- Rust symbol recovery tool☆86Feb 19, 2026Updated 3 months ago
- ☆421Dec 9, 2024Updated last year
- My challenges for SECCON CTF 2022 Finals☆18Feb 15, 2023Updated 3 years ago
- An intuitive query API for IDA Pro☆167Oct 20, 2025Updated 7 months ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆727Jun 7, 2026Updated last week
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆53Feb 23, 2026Updated 3 months ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆122Jun 3, 2026Updated last week
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆33Jan 24, 2021Updated 5 years 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.
- ☆174Jan 1, 2026Updated 5 months ago
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.x’s idalib☆282Updated this week
- a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.☆20Sep 12, 2024Updated last year
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆80May 22, 2025Updated last year
- IDA/Binary Ninja Plugin to automatically identify and set enums for standard functions☆500Oct 11, 2025Updated 8 months ago
- Fuzzing Harness and Unpatched Crash Results from Fuzzing Defender MpEngine☆45Jul 29, 2025Updated 10 months ago
- weggli ruleset scanner for source code and binaries☆40Nov 16, 2025Updated 7 months ago
- ☆27Aug 6, 2025Updated 10 months ago
- ☆28Aug 22, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- symbolic execution plugin for binary ninja☆357Jan 26, 2026Updated 4 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆132Apr 30, 2026Updated last month
- Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on Febr…☆26May 23, 2025Updated last year
- A decompiler-agnostic plugin for interacting with AI in your decompiler. GPT-4, Claude, and local models supported!☆700Mar 24, 2026Updated 2 months ago
- An Interactive Hex-Rays Microcode Explorer☆667Feb 8, 2024Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆185Jun 8, 2026Updated last week
- Core emulator components for Icicle☆294Jun 4, 2026Updated last week