opam - unisim_archisec.0.0.8

unisim_archisecversion
0.0.8
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
0.0.9 (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	Mar 11, 2024
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.8/unisim_archisec-0.0.8.tbz sha256=0fc0ee9876909cbb0c6951e850bef0f0a80645387d464fb6d8d3526b46bfa882 sha512=e37a3c3fd9a465b4800ffc2bfe3245893ee31a3f766cfdb8998aee15aee461046e8fe44435e3c95783151cd3c24febb163a00eb66df85693a25747a51a2d7ff6
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.8/opam

Optionally used by

binsec>=0.4.0