Skip to main content
U.S. flag

An official website of the United States government

Dot gov

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

Https

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.

News and Updates

Projects and Programs

Measurement, Metrics, and Assurance

This Measurement, Metrics, and Assurance project focuses on measuring and assessing trustworthiness in software, systems and applications. It conducts research

Publications

SATE VI Ockham Sound Analysis Criteria

Author(s)
Paul E. Black, Kanwardeep S. Walia
Static analyzers examine the source or executable code of programs to find problems. Many static analyzers use heuristics or approximations to examine programs