unisim_archisecversion Documentation on ocaml.org

UNISIM-VP DBA decoder

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.

AuthorsFrédéric Recoules and Yves Lhuillier
LicenseBSD-3-Clause
Published
Homepagehttps://binsec.github.io
Issue Trackermailto:binsec@saxifrage.saclay.cea.fr
MaintainerBINSEC <binsec@saxifrage.saclay.cea.fr>
Availableos = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= "8") | os = "macos" & os-distribution = "homebrew"
Dependencies
Conflicts
Source [http] https://github.com/binsec/unisim_archisec/releases/download/0.0.13/unisim_archisec-0.0.13.tbz
sha256=a432dbb05ea7e0748643259611beff4562be9c259f4bea7a0f2fc6e63967964d
sha512=5b9f285723d134bbbe2f43d6c7367aaa95a7d3c5092dc5131fca35d3c082036be79326a45cfc42cf0e8bce46fc1cdd44491cc9242423e579ab771628ece9bf50
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.13/opam
Optionally used by