OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

sarif message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: Tool validation or 'selectivity' property


As discussed in the last TC meeting, I’ve created an issue to track the notion of providing a SARIF property to hold tool-generated information on the validity of a code result. This suggestion derives from the set of annotations used by the Polyspace Verifier tool. Some documentation I reviewed on this described the value of these annotations as providing ‘selectivity’ for results, i.e., they enable the ability for a consumer to retrieve an appropriate set of interest. 

The URL for this suggestion is below. Please visit the issue and provide your feedback.



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]