None
Detecting software vulnerabilities by examining the app source code and binary and attempting to reason over all possible behaviors that might arise at runtime.
Source(s):
NIST SP 800-163
[Superseded]