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.

SATE VI Ockham Sound Analysis Criteria

Published

Author(s)

Paul E. Black

Abstract

In preparation for SATE VI, we present our current thoughts on the Ockham Sound Analysis Criteria track. First, we explain the purpose of the Ockham track and define some terms, such as "sound", "finding", and "site". Then we present the general flow for checking that a tool satisfies the SATE VI Ockham Criteria. Next we discuss test suites from which tool makers may choose. Finally we sketch a tentative timeline.

Keywords

software assurance, static analysis, sound analysis, Ockham criteria

Citation

Black, P. (2017), SATE VI Ockham Sound Analysis Criteria, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=923651 (Accessed April 20, 2024)
Created July 11, 2017, Updated May 4, 2021