package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install

Dune Dependency

Authors

Maintainers

Sources

unisim_archisec-0.0.7.tbz
sha256=315c370997ab15b80fedf0936eefd1629bc7294ebca57c857b2d916dc18257cc
sha512=6d257493e3f68e546ed51f522f5c413804e9ed03d7e690274f3678ac9e77106bf5a2f74d947039270ddd4babe8a6fb09a50c4d0a24dfd9118d530418827b95d5

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

  • Ppc64dba and PowerPC 64 DBA decoder

See INSTALL for installation instructions.

OCaml

Innovation. Community. Security.