package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install

Dune Dependency

Authors

Maintainers

Sources

unisim_archisec-0.0.5.tbz
sha256=f782b2eebb51f28153b56b214d8698ea0c8976aad8dd028c17ba939194307974
sha512=12954f6e954c4f02a792cb85ec0d5eee35de21224e2f6e179190fcf0cce575feb13b0650e93a624b7b75cc56c4f71b2aa7b67520ee487427d53850f77f9e2fbd

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.