SATE VI Ockham Sound Analysis Criteria data and programs (2020)

Published by National Institute of Standards and Technology | National Institute of Standards and Technology | Metadata Last Checked: June 27, 2025 | Last Modified: 2020-02-27 00:00:00

Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria. The Criteria recognizes static analyzers whose findings are always correct.

Find Related Datasets

Click any tag below to search for similar datasets

Complete Metadata

bureauCode	[ "006:55" ]
identifier	ark:/88434/mds2-2187
issued	2020-07-16
landingPage	https://data.nist.gov/od/id/mds2-2187
language	[ "en" ]
programCode	[ "006:045" ]
references	[ "https://doi.org/10.6028/NIST.IR.8304" ]
theme	[ "Information Technology:Conformance testing", "Information Technology:Software research", "Metrology:Metric" ]