Skip to content

Releases: binsec/unisim_archisec

0.0.9

13 Sep 19:17
Compare
Choose a tag to compare

CHANGES:

  • support for NEON instructions in AARCH64
  • handling some new VEX encoded instructions (x86)
  • more systematic branchless semantics
    (e.g. #37)
  • various bug fixes and code improvements

0.0.8

08 Mar 15:50
Compare
Choose a tag to compare

CHANGES:

  • support for adcx, adox and mulx (x86)
  • some bug fixes and code improvements

0.0.7

23 Oct 11:34
Compare
Choose a tag to compare

CHANGES:

  • various bug fixes and code improvements

0.0.6

14 Jul 12:19
Compare
Choose a tag to compare

CHANGES:

  • add PowerPC 64 bit decoder
  • various bug fixes and code improvements

0.0.5

24 Feb 16:42
Compare
Choose a tag to compare

CHANGES:

  • enable macOS Homebrew distribution

0.0.4

15 Feb 16:22
Compare
Choose a tag to compare

CHANGES:

  • better handling of x86 flags
  • various bug fixes and refactoring

0.0.3

24 Jul 15:06
Compare
Choose a tag to compare

CHANGES:

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

0.0.2

18 Apr 15:42
Compare
Choose a tag to compare

CHANGES:

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

0.0.1

14 Mar 13:11
Compare
Choose a tag to compare

CHANGES:

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

0.0.0

06 Oct 12:56
Compare
Choose a tag to compare

CHANGES:

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.