2 repository-uri
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 este o bibliotecă de analiză binară pentru x86 și x86-64 care oferă un framework pentru decodarea codului mașină și inspectarea atributelor tehnice ale instrucțiunilor procesorului. Acesta funcționează ca un dezasamblor de instrucțiuni care traduce datele binare în metadate structurate de instrucțiuni și limbaj de asamblare lizibil pentru oameni. Proiectul include un encodor de cod mașină pentru conversia instrucțiunilor de asamblare și a operanzilor înapoi în reprezentările lor binare. De asemenea, oferă un formator de sintaxă de asamblare pentru a transforma structurile de instrucțiuni decodate în șiruri de text de asamblare folosind stiluri de sintaxă configurabile. Biblioteca acoperă capabilități mai largi de analiză binară, inclusiv decodarea codului mașină, formatarea instrucțiunilor de asamblare și extragerea metadatelor detaliate ale instrucțiunilor.
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.