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:
Arm32dbaan ARM/Thumb (ARMv7) DBA decoderAarch64dbaan AARCH64 (ARMv8) DBA decoderAmd64dbaan AMD64 (x86-64) DBA decoderPpc64dbaand PowerPC 64 DBA decoder
See INSTALL for installation instructions.