2 个仓库
Lightweight libraries providing combined decoding and inspection capabilities for processor instructions.
Distinct from x86 Binary Emulators: Candidates are for specific accelerators or execution support, not a general analysis library framework.
Explore 2 awesome GitHub repositories matching operating systems & systems programming · Binary Analysis Frameworks. Refine with filters or upvote what's useful.
Zydis 是一个 x86 和 x86-64 二进制分析库,提供了一个用于解码机器码和检查处理器指令技术属性的框架。它作为一个指令反汇编器,将二进制数据转换为结构化的指令元数据和人类可读的汇编代码。 该项目包括一个机器码编码器,用于将汇编指令和操作数转换回其二进制表示。它还提供了一个汇编语法格式化程序,使用可配置的语法样式将解码后的指令结构转换为汇编文本字符串。 该库涵盖了更广泛的二进制分析功能,包括机器码解码、汇编指令格式化以及详细指令元数据的提取。
Provides a lightweight framework for the combined decoding and inspection of x86 processor instructions.
Triton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a multi-architecture CPU emulator, an SMT-based symbolic execution engine, and a dynamic taint analysis tool. The framework translates raw machine instructions into abstract syntax trees, allowing it to represent binary program logic as a structured intermediate representation. This allows the system to map multiple hardware instruction sets to a single analysis framework and translate machine instructions into mathematical formulas for solving constraints. Its capabilities cover the simul
Ships a dynamic binary analysis framework combining emulation, symbolic execution, and taint analysis to automate reverse engineering.