Software assurance tools are a fundamental resource for providing an assurance argument for today's software applications throughout the software development lifecycle. Some tools analyze software requirements, design models, source code, or executable code to help determine if an application is secure. This document specifies the behavior of one class of software assurance tool: the source code security analyzer. Because many software security weaknesses today are introduced at the implementation phase, using a source code security analyzer should help assure that software doesn't have many security vulnerabilities. This specification defines a minimum capability to help software professionals understand how a tool will meet their software security assurance needs. Errata to this version: None Any commercial product mentioned is for information only. It does not imply recommendation or endorsement by NIST nor does it imply that the products mentioned are necessarily the best available for the purpose.
[1]
Paul E. Black,et al.
Software vulnerabilities precluded by spark
,
2011,
SIGAda.
[2]
H. Rice.
Classes of recursively enumerable sets and their decision problems
,
1953
.
[3]
B. Everitt,et al.
Statistical methods for rates and proportions
,
1973
.
[4]
Kendra J Kratkiewicz,et al.
Evaluating Static Analysis Tools for Detecting Buffer Overflows in C Code
,
2005
.
[5]
John G. P. Barnes,et al.
High Integrity Software - The SPARK Approach to Safety and Security
,
2003
.