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 (10)

Authors

Maintainers

B

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

Sources

unisim_archisec-0.0.0.tbz

sha256=9a1e9da4319a8a67a0159bf5fb625deaa428cc6cdec03878816ebd7886b76656

sha512=f0f0858687b782bdfdc1464195b9aa67222b08033dcc4bca47bef287224aa35da48d5819bbadc5f31cf8df0f5558a8003a9c94d3620ef6e1a6940a1b919541c9

Description

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, including ARM and x86.

Published: 07 Oct 2021

README

UNISIM ARCHISEC

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:

Arm32dba an ARM/Thumb (ARMv7) DBA decoder
Aarch64dba an AARCH64 (ARMv8) DBA decoder
Amd64dba an AMD64 (x86-64) DBA decoder

See INSTALL for installation instructions.

Dependencies (3)

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

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts

None

On This Page

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