程序分析 在计算机科学中程序分析是指自动分析一个程序的包括正确性健壮性安全性和活跃性等特征的过程 程序分析主要研究两大领域程序的优化英语Program optimization和程序的正确性前者研究如何提升程序性能并且降低程序的资源占用后者研究如何确保程序完成预期的任务 程序分析可以在不执行程序的情况下进行静态程序分析也可在执行时进行动态程序分析英语Dynamic program analysis或结合二者