Trace occurrences
The analysis start picker now shows the trace occurences according to the entries in the provided trace files.
Infeasible edges
Improved visualization of infeasible call edges in the call graph.
Message markers
The Disassembly view now shows associated message markers.