/unisim_archisec

OCaml binding for the external UNISIM DBA decoder

Primary LanguageC++OtherNOASSERTION

UNISIM ARCHISEC License: BSD-3-Clause

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.