Dr. Disassembler
☆38Jan 5, 2022Updated 4 years ago
Alternatives and similar repositories for dds
Users that are interested in dds are comparing it to the libraries listed below
Sorting:
- A library for disassembling x86-64 binaries.☆44Apr 24, 2025Updated 10 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Apr 10, 2021Updated 4 years ago
- ☆75Jan 14, 2024Updated 2 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Dec 8, 2020Updated 5 years ago
- ☆13Jun 20, 2022Updated 3 years ago
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- Lightweight WINAPI tracing with Pin☆27Aug 22, 2019Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Personal curation of Clang/LLVM patches.☆12Feb 27, 2021Updated 5 years ago
- ☆13Sep 25, 2023Updated 2 years ago
- immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable so…☆59Jan 7, 2023Updated 3 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆18Mar 11, 2023Updated 2 years ago
- Minidump loader for Binary Ninja☆15Sep 25, 2025Updated 5 months ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Oct 29, 2021Updated 4 years ago
- A (SLEIGH) disassembler that supports multiple architectures☆91Apr 30, 2022Updated 3 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 2 years ago
- The next generation reverse engineering IDE (work-in-progress).☆105Jun 27, 2024Updated last year
- Trial Reasoner for AI that Learns☆18Sep 17, 2025Updated 5 months ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Mar 24, 2021Updated 4 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- A research decompiler implemented as a Binary Ninja plugin.☆218Jan 27, 2026Updated last month
- White-box analytic framework based on LLVM☆39Jun 10, 2019Updated 6 years ago
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆26Feb 2, 2026Updated 3 weeks ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆59Dec 7, 2021Updated 4 years ago
- ☆59Jan 27, 2023Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- Convert a C Standard Draft PDF into HTML☆21Nov 20, 2025Updated 3 months ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 5 years ago
- A tool for analyzing x86-64 binaries.☆337Oct 18, 2024Updated last year
- ☆61Dec 5, 2024Updated last year
- Symbolic Simplification with PAttern Matching☆108Feb 22, 2017Updated 9 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Aug 12, 2025Updated 6 months ago
- ☆23Mar 13, 2023Updated 2 years ago
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆174Feb 17, 2026Updated last week