The Wayback Machine - https://web.archive.org/web/20210725153149/https://github.com/topics/instruction-semantics

instruction-semantics

Here are 6 public repositories matching this topic...

JonathanSalwan / Triton

Star

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

reverse-engineering symbolic-execution binary-analysis instruction-semantics program-analysis taint-analysis smt binary-translation

Updated Jul 13, 2021
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 Jul 24, 2021
OCaml

lifting-bits / remill

Star

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