package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install

Dune Dependency

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

Authors

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

Maintainers

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

Sources

unisim_archisec-0.0.8.tbz
sha256=0fc0ee9876909cbb0c6951e850bef0f0a80645387d464fb6d8d3526b46bfa882
sha512=e37a3c3fd9a465b4800ffc2bfe3245893ee31a3f766cfdb8998aee15aee461046e8fe44435e3c95783151cd3c24febb163a00eb66df85693a25747a51a2d7ff6

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: 11 Mar 2024

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

  • Ppc64dba and PowerPC 64 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.5.0"