#

instruction-semantics

Here are 7 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 Jun 4, 2022
C++

BinaryAnalysisPlatform / bap

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 Jun 4, 2022
OCaml

lifting-bits / remill

Open

Missing amd64 instruction semantics for XORPS, XORPD, ANDPS, and ANDPD

pgoodman commented Jun 27, 2018

(AMD64 bc5ad 3 (BYTES 0f 57 ff) XORPS_XMMxud_XMMxud (WRITE_OP (REG_256 YMM7)) (READ_OP (REG_256 YMM7)) (READ_OP (REG_128 XMM7)))
(AMD64 bf2ac 4 (BYTES 66 0f 57 c9) XORPD_XMMxuq_XMMxuq (WRITE_OP (REG_256 YMM1)) (READ_OP (REG_256 YMM1)) (READ_OP (REG_128 XMM1)))
`(AMD64 f6c89 4 (BYTES 41 0f 54 d2) ANDPS_XMMxud_XMMxud (WRITE_OP (REG_256 YMM2)) (READ_OP (REG_256 YMM2)) (READ

Read more

enhancement help wanted x86 good first issue

Open

Missing LSL-related instruction semantics

Open

Make AArch64 semantics use atomic memory intrinsics

Colton1skees / KParser

.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

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 / PLDI19-ArtifactEvaluation

Artifact Evaluation, PLDI'19

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

Updated Apr 18, 2020

sdasgup3 / compd_cache

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

Updated Dec 16, 2019

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."