unisim_archisecversion

UNISIM-VP DBA decoder

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.

AuthorsYves Lhuillier and Frédéric Recoules
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")
Dependencies
Source [http] https://github.com/binsec/unisim_archisec/releases/download/0.0.0/unisim_archisec-0.0.0.tbz
sha256=9a1e9da4319a8a67a0159bf5fb625deaa428cc6cdec03878816ebd7886b76656
sha512=f0f0858687b782bdfdc1464195b9aa67222b08033dcc4bca47bef287224aa35da48d5819bbadc5f31cf8df0f5558a8003a9c94d3620ef6e1a6940a1b919541c9
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.0/opam
No package is dependent