package unisim_archisec

  1. Overview
  2. Docs
UNISIM-VP DBA decoder

Install

Dune Dependency

Authors

Maintainers

Sources

unisim_archisec-0.0.4.tbz
sha256=532ca49954fb422e36da104defdfd34ba26b823335c74a82af75414923a94dd0
sha512=42d19b12c152ba70055835fa1558c452d1da677fe32724dd3088bfe3440eae708be2835df77e815194b794fcd743ecbaf275e3c99f118d4b541c7d1932184d29

CHANGES.md.html

0.0.4 (2023-02-15)

  • better handling of x86 flags

  • various bug fixes and refactoring

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.

OCaml

Innovation. Community. Security.