opam on Github

unisim_archisecversion
0.0.8 (latest)

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") | os = "macos" & os-distribution = "homebrew"
Dependencies
Conflicts
Source [http] https://github.com/binsec/unisim_archisec/releases/download/0.0.8/unisim_archisec-0.0.8.tbz
sha256=0fc0ee9876909cbb0c6951e850bef0f0a80645387d464fb6d8d3526b46bfa882
sha512=e37a3c3fd9a465b4800ffc2bfe3245893ee31a3f766cfdb8998aee15aee461046e8fe44435e3c95783151cd3c24febb163a00eb66df85693a25747a51a2d7ff6
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.8/opam
Optionally used by
Generated using opam2web, courtesy of OCamlPro. Commercial support.