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.
Resources
3 resources available
-
DOI Access for SATE VI Ockham Sound Analysis Criteria data and programs (2020)
FILE -
SATE VI Ockham data and programs
XZ COMPRESSED TAR ARCHIVE -
README
ASCII
Find Related Datasets
Search by Tags
Click any tag below to search for similar datasets
Complete Metadata
| @type | dcat:Dataset |
|---|---|
| accessLevel | public |
| bureauCode |
[ "006:55" ] |
| contactPoint |
{ "fn": "Vadim Okun", "hasEmail": "mailto:vadim.okun@nist.gov" } |
| description | 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. |
| distribution |
[ { "title": "DOI Access for SATE VI Ockham Sound Analysis Criteria data and programs (2020)", "accessURL": "https://doi.org/10.18434/M32187" }, { "title": "SATE VI Ockham data and programs", "format": "xz compressed tar archive", "mediaType": "application/x-zip-compressed", "description": "Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria.", "downloadURL": "https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/ockhamCriteriaSATEVIdata2020.tar.xz" }, { "title": "README", "format": "ASCII", "mediaType": "text/plain", "description": "Overview of contents", "downloadURL": "https://nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com/ockham-sate-VI-2020/README" } ] |
| identifier | ark:/88434/mds2-2187 |
| issued | 2020-07-16 |
| keyword |
[ "Ockham criteria", "software assurance", "sound static analysis tool exposition" ] |
| landingPage | https://data.nist.gov/od/id/mds2-2187 |
| language |
[ "en" ] |
| license | https://www.nist.gov/open/license |
| modified | 2020-02-27 00:00:00 |
| programCode |
[ "006:045" ] |
| publisher |
{ "name": "National Institute of Standards and Technology", "@type": "org:Organization" } |
| references |
[ "https://doi.org/10.6028/NIST.IR.8304" ] |
| theme |
[ "Information Technology:Conformance testing", "Information Technology:Software research", "Metrology:Metric" ] |
| title | SATE VI Ockham Sound Analysis Criteria data and programs (2020) |
