static program analysis
program analysis performed without actually executing programs
alias analysis
static code analysis to detect aliasing
static typing
type system paradigm where all type checking is done at compile time
program analysis performed without actually executing programs