unisim_archisec

UNISIM-VP DBA decoder
README

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.

Install
Published
25 Jul 2022
Sources
unisim_archisec-0.0.3.tbz
sha256=9f3e2362e9c82df86dbf92a6a692aef4d96d602eb0e5b37889c2fd986180c3aa
sha512=cd617c1403400c058be8eac56b1ca42e401adcaab6c2848ada8165ea2a776e4c8472aa73812c474b2bbaa0eb1a4e850531383cbe363ee4d771f66236b58a3cbc
Dependencies
odoc
with-doc
dune
>= "3.0"
Reverse Dependencies