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:

See INSTALL for installation instructions.