a³ release 18.04

a³ screenshot
a³ screenshot

Improved analysis queue

It is now possible to abort the iterative decoding and inspect the intermediate result graph. For this, left-click the Stop button and hold it down until a context menu appears that lets you select the desired project from the queue.

The interactivity of the analysis queue in general has been improved. Queued analyses can now be aborted, and new ones added to the queue.



a³ screenshot
a³ screenshot

Improved DWARF view

Automatically generated annotations for calls and areas can now be copied to clipboard right in the DWARF view, and then pasted into your AIS file.

The search function has been improved as well, and the debug information is now extracted faster while using less memory.



a³ screenshot

Trace stats for edges

The call and control-flow graph for TimeWeaver now includes trace statistics for individual edges in different analysis contexts.


a³ screenshot

Improved trace extraction and conversion

TimeWeaver now supports more trace formats, as well as traces executed in a 64-bit address space. The extraction is now faster and generalized across all formats. Further improvements include optimized extraction for traces of preemptive software, additional help messages, and better handling of interrupts.


a³ screenshot

WCET contributions

Timing contributions in processor cycles are now only shown if no clock rate has been specified. Otherwise, only contributions in μs are shown. Contributions in cycles can then optionally be enabled by right-clicking on the table header.


a³ screenshot
a³ screenshot

Trace-iterative decoding

Iterative decoding has been extended. In addition to using value analysis, it can now also use trace data to automatically resolve unresolved computed control-flow transitions.

The two methods can be toggled individually under Setup → Decoding.