unisim_archisecversion Documentation on ocaml.org
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") | os = "macos" & os-distribution = "homebrew" |
| Dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/binsec/unisim_archisec/releases/download/0.0.9/unisim_archisec-0.0.9.tbz sha256=2bb9c1410be7b06520cc630b18eef53fd2f53f8df20e89777b5ee0948f32df91 sha512=4c120b6ef1bbb44bc0fdd1b0f0f299f8d40d1c8405df9f8eebd0376d4480cb2b2c26f47b2dd4b8d149082854fb3ed3ee09f895cb7bb2db1fd7833b38e947f44b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.9/opam |
Optionally used by
