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
- Library unisim_archisec.ppc64dba
  - Ppc64dba
- Library unisim_archisec.sparcdba
  - Sparcdba
- Sources
  - unisim_archisec.aarch64dba
    
    aarch64dba.ml
  - unisim_archisec.amd64dba
    
    amd64dba.ml
  - unisim_archisec.arm32dba
    
    arm32dba.ml
  - unisim_archisec.ppc64dba
    
    ppc64dba.ml
  - unisim_archisec.sparcdba
    
    sparcdba.ml

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

UNISIM ARCHISEC

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.