Source code for XTRIDE: "Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures"
☆25Jun 24, 2026Updated 4 months ago
Alternatives and similar repositories for xtride
Users that are interested in xtride are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Oct 31, 2024Updated 2 years ago
- SmallWorld is an environment for streamlined harnessing of binary code for the purpose of dynamic analysis.☆36Updated this week
- ☆40May 23, 2026Updated 5 months ago
- Interactive ROP gadget semantic search☆10Feb 11, 2026Updated 9 months ago
- Community-maintained SLEIGH processor specifications for Ghidra☆12Oct 16, 2026Updated 3 weeks 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.
- ☆14Jul 23, 2024Updated 2 years ago
- Flowslicer is a Binary Ninja plugin to lift code into Data Flow Intermediate Language. Then, it processes data flow slices and analyzes …☆12May 23, 2023Updated 3 years ago
- A differentiable, self-modifying esolang where gradient descent is an instruction and programs rewrite their own parameters, designed by …☆38Aug 25, 2026Updated 2 months ago
- A Binary Ninja plugin using backward slicing of variables as a driver for static taint analysis☆85Updated this week
- Transform binaries into source-code-like projects that coding agents can traverse, analyze, and use as an oracle for large binaries. Supp…☆42Oct 16, 2026Updated 3 weeks ago
- Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17☆13Nov 12, 2021Updated 5 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆89Updated this week
- BSim signatures and databases for Ghidra to recover function symbols with☆17Jul 11, 2024Updated 2 years ago
- Rerousces related to time-travel debugging (TTD)☆57Jul 2, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Binary Ninja diffing tool☆100Oct 5, 2026Updated last month
- My repository to store all the examples I do about symbolic execution☆24Jun 6, 2026Updated 5 months ago
- ☆10Sep 13, 2022Updated 4 years ago
- Repository holding releases of our work on the formal verification of x86 binaries.☆25Oct 30, 2026Updated 2 weeks ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆32Jun 6, 2021Updated 5 years ago
- Rule Engine for Dynamic Malware Analysis and Research☆26Apr 16, 2025Updated last year
- Practical fuzzing tutorials and training☆32Jul 15, 2024Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆19Apr 7, 2023Updated 3 years ago
- Quokka: A Fast and Accurate Binary Exporter☆230Updated this week
- 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.
- Use Prolog to analyze memory dumps and stopped live processes in WinDbg.☆16Oct 20, 2026Updated 3 weeks ago
- ☆27Aug 22, 2024Updated 2 years ago
- Minidump loader for Binary Ninja☆16Sep 25, 2025Updated last year
- Rust bindings for Apple's FoundationModels.framework☆25Aug 16, 2026Updated 2 months ago
- SQL interface to Binary Ninja databases☆39Oct 21, 2026Updated 3 weeks ago
- Rust rewrite of BOCHS emulator and beyond☆32Updated this week
- A repository of SLEIGH support for rare processor ISAs☆25Updated this week
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆66May 20, 2025Updated last year
- ☆13Jun 20, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Quarkslab Bindiffer but not only !☆250May 5, 2025Updated last year
- Visualise the Data Flow Graph of the PCODE at all stages in the decompilation process☆58Jun 28, 2026Updated 4 months ago
- ☆48Dec 19, 2020Updated 5 years ago
- Code Execution MCP Server for Binary Ninja☆13Sep 22, 2026Updated last month
- Bump your ida python script automatically!☆33Apr 19, 2025Updated last year
- bintbit is a bitvector theory SMT solver and CDCL SAT solver☆13Oct 4, 2026Updated last month
- test SSL/TLS clients how secure they are☆28May 15, 2026Updated 5 months ago
Are these results useful?