package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install

Dune Dependency

Authors

Maintainers

Sources

unisim_archisec-0.0.9.tbz
sha256=2bb9c1410be7b06520cc630b18eef53fd2f53f8df20e89777b5ee0948f32df91
sha512=4c120b6ef1bbb44bc0fdd1b0f0f299f8d40d1c8405df9f8eebd0376d4480cb2b2c26f47b2dd4b8d149082854fb3ed3ee09f895cb7bb2db1fd7833b38e947f44b

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.