package unisim_archisec

You can search for identifiers within the package.

in-package search v0.2.0

unisim_archisec
- CHANGES
- LICENSE
- README
- Library unisim_archisec.aarch64dba
  - Aarch64dba
- Library unisim_archisec.amd64dba
  - Amd64dba
- Library unisim_archisec.arm32dba
  - Arm32dba
- Sources
  - unisim_archisec.aarch64dba
    
    aarch64dba.ml
  - unisim_archisec.amd64dba
    
    amd64dba.ml
  - unisim_archisec.arm32dba
    
    arm32dba.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.