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 4b673c7328a25ee4d48c9f0f1127b0aff1c3fc7d
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
  • ockham-criteria
  • software-assurance
  • sound-static-analysis-tool-exposition
  • united-states
isopen False
license_id other-license-specified
license_title other-license-specified
maintainer Paul E. Black
maintainer_email paul.black@nist.gov
metadata_created 2025-11-20T17:04:05.411250
metadata_modified 2025-11-20T17:04:05.411254
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)