U.S. flag

An official website of the United States government

Dot gov

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Https

Secure .gov websites use HTTPS
A lock () or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

  1. Home

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

Data provided by  National Institute of Standards and Technology

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.

About this Dataset

Updated: 2025-04-06
Metadata Last Updated: 2020-02-27 00:00:00
Date Created: N/A
Data Provided by:
Dataset Owner: N/A

Access this data

View JSON data
Contact dataset owner Access URL
Landing Page URL
Table representation of structured data
Title SATE VI Ockham Sound Analysis Criteria data and programs (2020)
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.
Modified 2020-02-27 00:00:00
Publisher Name National Institute of Standards and Technology
Contact mailto:[email protected]
Keywords Ockham criteria , sound static analysis tool exposition , software assurance 
{
    "identifier": "ark:\/88434\/mds2-2187",
    "accessLevel": "public",
    "contactPoint": {
        "hasEmail": "mailto:[email protected]",
        "fn": "Vadim Okun"
    },
    "programCode": [
        "006:045"
    ],
    "landingPage": "https:\/\/data.nist.gov\/od\/id\/mds2-2187",
    "title": "SATE VI Ockham Sound Analysis Criteria data and programs (2020)",
    "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.",
    "language": [
        "en"
    ],
    "distribution": [
        {
            "accessURL": "https:\/\/doi.org\/10.18434\/M32187",
            "title": "DOI Access for SATE VI Ockham Sound Analysis Criteria data and programs (2020)"
        },
        {
            "downloadURL": "https:\/\/nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com\/ockham-sate-VI-2020\/README",
            "format": "ASCII",
            "description": "Overview of contents",
            "mediaType": "text\/plain",
            "title": "README"
        },
        {
            "downloadURL": "https:\/\/nist-sate-ockham-sound-analysis-criteria-evaluation-material.s3.amazonaws.com\/ockham-sate-VI-2020\/ockhamCriteriaSATEVIdata2020.tar.xz",
            "format": "xz compressed tar archive",
            "description": "Data and programs to evaluate tools according to the SATE VI Ockham Sound Analysis Criteria.",
            "mediaType": "application\/x-zip-compressed",
            "title": "SATE VI Ockham data and programs"
        }
    ],
    "bureauCode": [
        "006:55"
    ],
    "modified": "2020-02-27 00:00:00",
    "publisher": {
        "@type": "org:Organization",
        "name": "National Institute of Standards and Technology"
    },
    "theme": [
        "Metrology:Metric",
        "Information Technology:Software research",
        "Information Technology:Conformance testing"
    ],
    "keyword": [
        "Ockham criteria",
        "sound static analysis tool exposition",
        "software assurance"
    ]
}