generated at
static program analysis
Code audit
Documentation generator
Formal semantics of programming languages
Formal verification
FX-87
ISO 26262
ISO 9126 (now ISO 25000 series)
Lint (software)
List of tools for static code analysis
Shape analysis (software)
Software quality
Software quality assurance

googlestatic program analysis
image static program analysis
define static program analysis
wikipedia static program analysis
weblio static program analysis
kotobank static program analysis
jisho static program analysis