a³ release 25.04

a³ screenshot

Qualification Support Kits

  • Improved driver program with a re-designed GUI.
  • The API has been extended such that the parameter list for the evaluation-run functions toolRunNames and evaluate now includes the following information:
    • core feature
    • architecture
    • compiler
    • instruction set

    This allows for a more fine-grained differentiation and enables implementation of cross-feature evaluation runs.

  • TimeWeaver packages now include an operational context description section in their TOR.
  • Now additionally available are 6 new compiler-specific QSKs and 2 new board-specific QSKs.

a³ screenshot

Flow coverage

The visualization of flow coverage has been improved. For basic blocks with more than one entry and more than one exit, clicking on an incoming edge to highlight it will now also highlight the outgoing edges such that it is readily apparent which one is taken most often (or indeed exclusively) when coming from that entry.


a³ screenshot

Trace-based guessing of DLL addresses

An all-new widget uses the available trace data to guess the base addresses of DLLs. The automatically determined addresses can then be inspected, or imported into your project with a click of a button.


a³ screenshot

Improved search

  • In the Sections view, the search now lets you find a hex sequence even if it happens to be broken up by a line end.
  • In the Symbols view, the search is now able to yield all potential paths through union objects.
  • In the Graph view, searching for accessed addresses and data ranges has been improved, and a new button has been added to toggle between the modes “Intersect with address range” and “Search within address range”.

a³ screenshot

Improved graphs

  • Improved visualization of irreducible-loop exits.
  • Improved handling of trampoline routines.
  • Improved visualization of flow coverage.
  • Basic blocks with multiple End nodes now let you easily navigate from each End node to the corresponding target block.