program analysis for machine code
☆37Oct 26, 2021Updated 4 years ago
Alternatives and similar repositories for yaxpeax-core
Users that are interested in yaxpeax-core are comparing it to the libraries listed below
Sorting:
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Apr 14, 2025Updated 10 months ago
- x86 decoders for the yaxpeax project☆147Mar 2, 2026Updated last week
- arm decoders for the yaxpeax project☆36Feb 22, 2026Updated 2 weeks ago
- fundamental traits to describe an architecture in the yaxpeax project☆17Mar 1, 2025Updated last year
- Symbolic Execution Engine in Rust☆22Oct 8, 2023Updated 2 years ago
- IDA Database Parser for Rust☆25Sep 13, 2024Updated last year
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Symbolic Execution over Falcon IL☆30Aug 28, 2021Updated 4 years ago
- it goes zoom zoom☆46Dec 21, 2025Updated 2 months ago
- ☆82Feb 17, 2026Updated 2 weeks ago
- Better type id and Any for Rust☆16Dec 12, 2025Updated 2 months ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 7 months ago
- test framework☆11Jun 2, 2021Updated 4 years ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 4 years ago
- Rust bindings for libgccjit☆30Jan 30, 2026Updated last month
- slightly-revived and hacked fork of the old noah (NOvel Archicture Hypervisor?) project for using linux vendor tools on macos☆19May 9, 2022Updated 3 years ago
- ☆17Aug 31, 2023Updated 2 years ago
- Semantic strings based on tree-sitter☆17Feb 19, 2025Updated last year
- KallistiOS for DLang☆17Mar 16, 2025Updated 11 months ago
- `boxy` - declarative box-drawing characters☆13May 15, 2023Updated 2 years ago
- Assembler toolkit: encoding and decoding of various architectures☆38Updated this week
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 3 months ago
- A functional systems programming language with compile-time memory management☆31Nov 3, 2021Updated 4 years ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆38Jul 3, 2023Updated 2 years ago
- Framework to reverse engineer binaries and evaluate similarities across a large collections of files. Uses sector hashing and data flow …☆15May 23, 2023Updated 2 years ago
- A CLI tool to bulk update/download mods from modrinth, curseforge and github☆31Sep 20, 2025Updated 5 months ago
- ☆21Sep 10, 2024Updated last year
- converts catgirls to gds files☆15May 24, 2021Updated 4 years ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Feb 25, 2026Updated last week
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 5 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Mar 22, 2015Updated 10 years ago
- A thin introspection hypervisor framework that allows for low level resource manipulation.☆12Jan 27, 2024Updated 2 years ago
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Updated this week
- Collaborative NLP annotation tool supporting enterprise authentication, inter-annotator statistics, active learning☆14Mar 5, 2023Updated 3 years ago
- IA-64 emulator☆15Aug 13, 2021Updated 4 years ago
- An implementation for Sugyama's algorithm for displaying a layered graph.☆24Sep 21, 2025Updated 5 months ago
- Rust port of C++ llvm::APFloat library☆20Dec 5, 2025Updated 3 months ago
- A Binary Ninja plugin that uses bruteforced XFG hashes to recover precise function prototypes☆16Feb 7, 2024Updated 2 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆18Jun 6, 2024Updated last year