instruction-semantics

Here are 10 public repositories matching this topic...

Language:All

Filter by language

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

UpdatedDec 2, 2025
C++

BinaryAnalysisPlatform /bap

Star2.2k

Binary Analysis Platform

emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

UpdatedApr 30, 2025
OCaml

lifting-bits /remill

Star1.5k

Library for lifting machine code to LLVM bitcode

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

UpdatedDec 16, 2025
C++

Colton1skees /Dna

Star289

LLVM based static binary analysis framework

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

UpdatedApr 2, 2025
C++

Colton1skees /TritonTranslator

Star29

Standalone static version of Triton's x86/x64 translator

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

UpdatedMar 28, 2025
C++

Colton1skees /KParser

Star16

.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

x86-64 instruction-semantics intermediate-language k-framework vtil

UpdatedFeb 4, 2021
C#

Pigrecos /Triton4Delphi

Star11

The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi

delphi reverse-engineering symbolic-execution binary-analysis instruction-semantics taint-analysis binary-translation

UpdatedOct 25, 2023
Pascal

FrenzyExists /Computer-Architecture-Project-SPARC

Star5

Final Project of the Computer Architecture (ICOM4215) course, Spring 2023. The project documents the journey of three students learning the basics of the vast world of FPGAs and hardware design in general. Here We designed a SPARC-Based Processor in Verilog :D

fpga hardware verilog instruction-semantics computer-architecture forwarding-unit uprm sparcv8 icom-4215 sparc-architecture