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.

Data and Resources

Field Value
accessLevel public
bureauCode {006:55}
catalog_@context https://project-open-data.cio.gov/v1.1/schema/data.json
catalog_conformsTo https://project-open-data.cio.gov/v1.1/schema
catalog_describedBy https://project-open-data.cio.gov/v1.1/schema/catalog.json
identifier ark:/88434/mds2-2187
issued 2020-07-16
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 National Institute of Standards and Technology
references {https://doi.org/10.6028/NIST.IR.8304}
resource-type Dataset
source_datajson_identifier true
source_hash f9acefabbf72625fa13a3246b1dd906ee014baa9932b8d454de61528a670d36f
source_schema_version 1.1
theme {Metrology:Metric,"Information Technology:Software research","Information Technology:Conformance testing"}
Groups
  • AmeriGEOSS
  • National Provider
  • North America
Tags
  • AmeriGEO
  • AmeriGEOSS
  • CKAN
  • GEO
  • GEOSS
  • National
  • North America
  • United States
  • ockham-criteria
  • software-assurance
  • sound-static-analysis-tool-exposition
isopen False
license_id other-license-specified
license_title other-license-specified
maintainer Vadim Okun
maintainer_email vadim.okun@nist.gov
metadata_created 2025-09-24T06:28:31.598869
metadata_modified 2025-09-24T06:28:31.598878
notes 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.
num_resources 3
num_tags 11
title SATE VI Ockham Sound Analysis Criteria data and programs (2020)