package unisim_archisec

You can search for identifiers within the package.

in-package search v0.2.0

UNISIM-VP DBA decoder

Install

dune-project

Dependency

binsec.github.io Readme Changelog BSD-3-Clause License Edit opam file Versions (13)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

unisim_archisec-0.0.12.tbz

sha256=4492b2cab432e33ac8dd2f5eeeadd6e546f0b069d2948b57aba5f49faf54b0bf

sha512=ab422e324d976baaac837ebc526525cc8d1b1beb4aa253afcef292576758eb15bd605a34a6e17376484e5d2cdce18c1c6c66c0f033cb7f572a28fce98d71eae6

doc/README.html

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.