opam - unisim_archisec.0.0.7

unisim_archisecversion
0.0.7
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 24, 2023
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") \| os = "macos" & os-distribution = "homebrew"
Dependencies	dune>=3.0 conf-gccbuild conf-g++build odocwith-doc
Conflicts	binsec<0.5.0
Source [http]	https://github.com/binsec/unisim_archisec/releases/download/0.0.7/unisim_archisec-0.0.7.tbz sha256=315c370997ab15b80fedf0936eefd1629bc7294ebca57c857b2d916dc18257cc sha512=6d257493e3f68e546ed51f522f5c413804e9ed03d7e690274f3678ac9e77106bf5a2f74d947039270ddd4babe8a6fb09a50c4d0a24dfd9118d530418827b95d5
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.7/opam

Optionally used by

binsec>=0.4.0