SATE VI Ockham Sound Analysis Criteria data and programs (2020)
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
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) |