a³ release 22.10

a³ screenshot

Trace occurrences

The analysis start picker now shows the trace occurences according to the entries in the provided trace files.

a³ screenshot

Infeasible edges

Improved visualization of infeasible call edges in the call graph.

a³ screenshot

Message markers

The Disassembly view now shows associated message markers.