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

Authors

Maintainers

B

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

Sources

unisim_archisec-0.0.10.tbz

sha256=94c5a24a1865dd8588efae04807aa85d771ef8d1917b672538156babd3aa2df8

sha512=68fd57a819a850883917ccf30e3ac938c3a521d06a68be595a6ad9c125f0c892679545f76c718dcd9095032462aa995105fcd8b852f180b4747a99640be561d5

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: 20 Feb 2025

Dependencies (4)

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

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts (1)

binsec < "0.10.0"

On This Page

Description
Dependencies (4)
Dev Dependencies (1)
Used by
Conflicts (1)