opam on Github

unisim_archisecversion
0.0.1

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.1/unisim_archisec-0.0.1.tbz
sha256=562e567a0055ce13c44f8995752c957124e08a3bb6293a94265b4ef03e37bc4b
sha512=4f837c9b911894d2566f61145b3eb1d901a0e82de622975de806a1e6671a75d07a47b389a8c4b2664d20146c00f509d96010e5ee339d860679843922c8846f54
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.1/opam
Optionally used by
Generated using opam2web, courtesy of OCamlPro. Commercial support.