Before revision: In computer science, static program analysis ( or static analysis ) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
After revision: 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.