Source Code Security Analysis
[SAMATE Home | IntrO TO SAMATE | SARD | SATE | Bugs Framework | Publications | Tool Survey | Resources]
For our purposes, a source code security analyzer
Specifications
Source Code Security Analysis Tool Functional Specification Version 1.1, NIST Special Publication 500-268, February 2011
This version 1.1 updates version 1.0 by adding the SPARK language in Annex A and improving explanations.
Earlier version
Drafts
Test Plan
Source Code Security Analysis Tool Test Plan Version 1.1, NIST Special Publication 500-270, July 2011
This version 1.1 updates version 1.0 by adding Java test suites and updating C/C++ test suites.
Earlier versions
Source Code Security Analysis Tool Test Plan Version 1.0, NIST Special Publication 500-270,
Tool Instances
Created March 23, 2021, Updated May 1, 2026
