program analysis
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
dynamic program analysis
analysis of computer software that is performed by executing programs on a real or virtual processor
static program analysis
program analysis performed without actually executing programs
type checking
analysis and verification of data types in the source code of a computer program