Improvements
- Trace coverage statistics now include flow coverage. This information can be used to identify bad trace coverage by determining how many outgoing edges have been traced per incoming edge of a basic block.
- Improved trace coverage statistics for external routines.
- Improved handling of trace snippet starts, and improved end handling for block-level traces.
- Improved handling of user-annotated end points.
- Improved visualization of trace segments that start or end in external routines.
- General improvements to trace segment visualization.
- Improved support for ARM ULINKpro CSV traces.
Other changes
Analysis dependency graphs, improved license management, optimized Qualification Support Kits, and more. See the complete release notes for a³ 24.04.
Known issue
For code snippets annotated with evaluated as
and containing a loop or routine annotated with takes,
under certain circumstances the takes annotation
may be ignored by the analysis.
This issue is fixed in release 25.04.
If you cannot upgrade your software installation for any reason, please contact support@absint.com to receive a more detailed problem description, code examples, and known workarounds.