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
18 Apr 2022
Sources
unisim_archisec-0.0.2.tbz
sha256=1808b0113b272bb8b5609b8cc8f7f722bfe35cb81d02bc8283c435797389fffb
sha512=5e3d5e1fc0581ec3dd614e5365d904636cbdaae57136be5b92f96d4faecf5a2927a26a357632dbab918fa51726c3e909a9ab6cbeec7a4dcc6269c4727cd7051a
Dependencies
Reverse Dependencies