instruction-semantics

Here are 8 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 Dec 23, 2022
C++

BinaryAnalysisPlatform / bap

Star

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

Updated Dec 24, 2022
OCaml

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 Dec 21, 2022
C++

Colton1skees / KParser

Star

.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

Updated Feb 4, 2021
C#

Pigrecos / Triton4Delphi

Star

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

Updated Oct 6, 2020
Pascal

sdasgup3 / compd_cache

Star

x86-64 llvm z3 instruction-semantics semantic-equivalence mcsema

Updated Dec 16, 2019

sdasgup3 / PLDI19-ArtifactEvaluation

Star

Artifact Evaluation, PLDI'19

x86-64 formal-semantics instruction-semantics program-verification isa-specification

Updated Apr 18, 2020

Colton1skees / TritonTranslator

Star

Static IR translation framework for x86/x64

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

Updated Dec 23, 2022
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