Source code security analysis tool functional specification version 1.0
Paul E. Black, Michael A. Kass, Michael Koo · 2007
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.