Skip to main content
U.S. flag

An official website of the United States government

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

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.

Skip to content
  • Feedback

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

    Metadata Updated: March 14, 2025

    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.

    Access & Use Information

    Public: This dataset is intended for public access and use. License: See this page for license information.

    Downloads & Resources

    References

    https://doi.org/10.6028/NIST.IR.8304

    Dates

    Metadata Created Date March 11, 2021
    Metadata Updated Date March 14, 2025

    Metadata Source

    Harvested from NIST

    Other Data Resources

    Additional Metadata

    Resource Type Dataset
    Metadata Created Date March 11, 2021
    Metadata Updated Date March 14, 2025
    Publisher National Institute of Standards and Technology
    Maintainer
    Identifier ark:/88434/mds2-2187
    Data First Published 2020-07-16
    Language en
    Data Last Modified 2020-02-27 00:00:00
    Category Metrology:Metric, Information Technology:Software research, Information Technology:Conformance testing
    Public Access Level public
    Bureau Code 006:55
    Metadata Context https://project-open-data.cio.gov/v1.1/schema/data.json
    Schema Version https://project-open-data.cio.gov/v1.1/schema
    Catalog Describedby https://project-open-data.cio.gov/v1.1/schema/catalog.json
    Harvest Object Id 45722803-f4c2-4e51-a3ba-ae21237f3c1b
    Harvest Source Id 74e175d9-66b3-4323-ac98-e2a90eeb93c0
    Harvest Source Title NIST
    Homepage URL https://data.nist.gov/od/id/mds2-2187
    License https://www.nist.gov/open/license
    Program Code 006:045
    Related Documents https://doi.org/10.6028/NIST.IR.8304
    Source Datajson Identifier True
    Source Hash f9acefabbf72625fa13a3246b1dd906ee014baa9932b8d454de61528a670d36f
    Source Schema Version 1.1

    Didn't find what you're looking for? Suggest a dataset here.