package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install

Dune Dependency

Authors

Maintainers

Sources

unisim_archisec-0.0.1.tbz
sha256=562e567a0055ce13c44f8995752c957124e08a3bb6293a94265b4ef03e37bc4b
sha512=4f837c9b911894d2566f61145b3eb1d901a0e82de622975de806a1e6671a75d07a47b389a8c4b2664d20146c00f509d96010e5ee339d860679843922c8846f54

README.md.html

UNISIM ARCHISEC

UNISIM ARCHISEC is a companion project of the binary analysis platform BINSEC. It exposes disassembly metadata and DBA (Dynamic Bitvector Automata) semantics of several instruction set architectures:

  • Arm32dba an ARM/Thumb (ARMv7) DBA decoder

  • Aarch64dba an AARCH64 (ARMv8) DBA decoder

  • Amd64dba an AMD64 (x86-64) DBA decoder

See INSTALL for installation instructions.

OCaml

Innovation. Community. Security.