Return to search results
💡 Advanced Search Tip
Search by organization or tag to find related datasets
SATE VI Ockham Sound Analysis Criteria data and programs (2020)
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.
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" ] |