static program analysis

Also known as static code analysis, static analysis, static software analysis

program analysis performed without actually executing programs