In computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution in the integrated environment.

the act of analyzing software that involves executing a program as opposed to static program analysis, which does not execute it.