adjust_edge_id
that encodes the ID of the trace graph edge (aka trace segment).Improved text and graph search, easier working with analysis groups, additional Qualification Support Kits, and more. See the complete release notes for a³ 24.10.
For code snippets annotated with evaluated as
and containing some 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 to the latest software version for any reason, please contact support@absint.com to receive a more detailed problem description, code examples, and known workarounds.