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
| @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) |
