package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frédéric Recoules
  2. Y
    Yves Lhuillier

Maintainers

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

Sources

unisim_archisec-0.0.13.tbz
sha256=a432dbb05ea7e0748643259611beff4562be9c259f4bea7a0f2fc6e63967964d
sha512=5b9f285723d134bbbe2f43d6c7367aaa95a7d3c5092dc5131fca35d3c082036be79326a45cfc42cf0e8bce46fc1cdd44491cc9242423e579ab771628ece9bf50

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: 04 Oct 2025

README

UNISIM ARCHISEC License: BSD-3-Clause

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)

  1. conf-g++ build
  2. conf-gcc build
  3. dune >= "3.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts (1)

  1. binsec < "0.10.0"