Static analysis

Definition
Static analysis is

"[d]etecting software vulnerabilities by examining the app source code and binary and attempting to reason over all possible behaviors that might arise at runtime."