Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

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

Software Performance Project

The mission of the Software Performance project is to strengthen the scientific foundations of software performance measurement ("metrology for IT").

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

Static Analyzers: Seat Belts for Your Code

Author(s)
Paul E. Black
Just as seat belt use is wide spread, we argue that the use static analysis should be part of ethical software development. We explain some of the procedures of