package unisim_archisec

You can search for identifiers within the package.

in-package search v0.2.0

UNISIM-VP DBA decoder

Install

Dune Dependency

binsec.github.io Readme Changelog BSD-3-Clause License Edit opam file Versions (10)

Authors

Maintainers

B

BINSEC <binsec@saxifrage.saclay.cea.fr>

Sources

unisim_archisec-0.0.3.tbz

sha256=9f3e2362e9c82df86dbf92a6a692aef4d96d602eb0e5b37889c2fd986180c3aa

sha512=cd617c1403400c058be8eac56b1ca42e401adcaab6c2848ada8165ea2a776e4c8472aa73812c474b2bbaa0eb1a4e850531383cbe363ee4d771f66236b58a3cbc

CHANGES.md.html

0.0.3 (2022-07-24)

handling some new VEX encoded instructions (x86)
various bug fixes and refactoring

0.0.2 (2022-04-15)

handling of SSE instructions for AMD64
various bug fixes and code generator improvements

0.0.1 (2022-03-14)

update build system (dune 3.0) and improve dependency tracking
fix memory leak issues
various bug fixes and code improvements

0.0.0 (2021-10-05)

Initial release.

OCaml binding for the UNISIM DBA (Dynamic Bitvector Automata) decoder.

Arm32dba library exposes ARM/Thumb architecture;
Aarch64dba library exposes AARCH64 architecture;
Amd64dba library exposes AMD64 architecture.