UNISIM ARCHISEC

UNISIM ARCHISEC is a companion package 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 an PowerPC 64 DBA decoder
• Sparcdba an SPARCv8 DBA decoder

See INSTALL for installation instructions.