Klever

A long ago we supported constant URLs for error traces to have an ability to transfer verification jobs without changing relative paths to their error traces (#8706). But these URLs lack details that are available, say, for components. Besides, Bridge can add values of attributes having flag "associate" to URLs since corresponding attributes represent most interesting characteristics of error traces such as program fragments and requirement specifications. At last, it has sense to support such the approach for providing URLs not only for Unsafes and error traces, but for Safes and Unknowns as well.

Regarding enhanced capabilities for providing leaf report attributes, we noticed that it would be great to have an ability to add (overwrite) values for attribute flags "associate" and "compare" for child reports. For instance, currently CPAchecker Unknown reports inherit such the flags from VRP that requires a special filter in Bridge since Unknown report does not need any attributes for associating marks.