unisim_archisecversion
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 | |
| 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 | |
| Source [http] | https://github.com/binsec/unisim_archisec/releases/download/0.0.1/unisim_archisec-0.0.1.tbz sha256=562e567a0055ce13c44f8995752c957124e08a3bb6293a94265b4ef03e37bc4b sha512=4f837c9b911894d2566f61145b3eb1d901a0e82de622975de806a1e6671a75d07a47b389a8c4b2664d20146c00f509d96010e5ee339d860679843922c8846f54 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.1/opam |
Optionally used by
- binsec>=0.4.0
