package unisim_archisec

You can search for identifiers within the package.

in-package search v0.2.0

UNISIM-VP DBA decoder

Install

Dune Dependency

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

Authors

Maintainers

B

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

Sources

unisim_archisec-0.0.11.tbz

sha256=b2dcecd4143b33eab647cd8251dcef3f4155054beea727216e6f33f3da383916

sha512=d55f67ef3dfb70c0191dff440618dbfb8c46d6e54787e92f364986250b7375b70b3655af4694a62dd45a1222b99b7280160abc73e687f91629327378453c0b32

Description

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, including ARM, x86_64, ppc64 and Sparcv8.

Published: 15 Jul 2025

README

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.

Dependencies (3)

conf-g++ build
conf-gcc build
dune >= "3.0"

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts (1)

binsec < "0.10.0"

On This Page

Description
Readme
Dependencies (3)
Dev Dependencies (1)
Used by
Conflicts (1)