instruction-semantics

Here are 4 public repositories matching this topic...

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

emulator reverse-engineering symbolic-execution deobfuscation dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis lifter binary-translation

Updated May 25, 2025
C++

lifting-bits / remill

Star

Library for lifting machine code to LLVM bitcode

x86-64 llvm x86 armv7 instruction-semantics aarch64 armv8 thumb2 llvm-ir sparcv9 sparcv8

Updated May 23, 2025
C++

Colton1skees / Dna

Star

LLVM based static binary analysis framework

analysis binary x86-64 llvm static-analysis deobfuscation triton x86 instruction-semantics program-analysis lifter llvm-ir

Updated Apr 2, 2025
C++

Colton1skees / TritonTranslator

Star

Standalone static version of Triton's x86/x64 translator

static-analysis deobfuscation triton instruction-semantics program-analysis lifter binary-translation

Updated Mar 28, 2025
C++

Improve this page

Add a description, image, and links to the instruction-semantics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the instruction-semantics topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

instruction-semantics

Here are 4 public repositories matching this topic...

JonathanSalwan / Triton

lifting-bits / remill

Colton1skees / Dna

Colton1skees / TritonTranslator

Improve this page

Add this topic to your repo