Black, P.
(2017),
SATE VI Ockham Sound Analysis Criteria, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=923651
(Accessed January 1, 2026)
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)
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.Pub Type
Talks
Download Paper
Keywords
software assurance, static analysis, sound analysis, Ockham criteria
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact [email protected].
Created July 11, 2017, Updated May 4, 2021