opam - unisim_archisec.0.0.0

unisim_archisecversion
0.0.0
0.0.0
0.0.1
0.0.2
0.0.3
0.0.4
0.0.5
0.0.6
0.0.7
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.

Authors	Yves Lhuillier and Frédéric Recoules
License	BSD-3-Clause
Published	Oct 7, 2021
Homepage	https://binsec.github.io
Issue Tracker	mailto:binsec@saxifrage.saclay.cea.fr
Maintainer	BINSEC <binsec@saxifrage.saclay.cea.fr>
Available	os = "linux" & (os-distribution != "ol" & os-distribution != "centos" \| os-version >= "8")
Dependencies	dune>=2.8 conf-gccbuild conf-g++build odocwith-doc
Source [http]	https://github.com/binsec/unisim_archisec/releases/download/0.0.0/unisim_archisec-0.0.0.tbz sha256=9a1e9da4319a8a67a0159bf5fb625deaa428cc6cdec03878816ebd7886b76656 sha512=f0f0858687b782bdfdc1464195b9aa67222b08033dcc4bca47bef287224aa35da48d5819bbadc5f31cf8df0f5558a8003a9c94d3620ef6e1a6940a1b919541c9
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.0/opam

Optionally used by

binsec>=0.4.0