unisim_archisecversion
UNISIM-VP DBA decoder
UNISIM ARCHISEC is a companion package of the binary analysis platform BINSEC. It exposes disassembly metadata and DBA (Dynamic Bitvector Automata) semantics of several instruction set architectures, including ARM, x86_64, ppc64 and Sparcv8.
| Authors | Frédéric Recoules and Yves Lhuillier |
|---|---|
| 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.12/unisim_archisec-0.0.12.tbz sha256=4492b2cab432e33ac8dd2f5eeeadd6e546f0b069d2948b57aba5f49faf54b0bf sha512=ab422e324d976baaac837ebc526525cc8d1b1beb4aa253afcef292576758eb15bd605a34a6e17376484e5d2cdce18c1c6c66c0f033cb7f572a28fce98d71eae6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/unisim_archisec/unisim_archisec.0.0.12/opam |
Optionally used by
