静态进程分析 Static program analysis
(重定向自Code analysis)
静态进程分析(英语:Static program analysis)是指在不运行计算机进程的条件下,进行进程分析的方法。有些进程分析需要在进程运行时才能进行,这种进程分析称为动态进程分析。大部份的静态进程分析的对象是针对特定版本的源代码,也有些静态进程分析的对象是目标代码。静态进程分析一词多半是指配合静态进程分析工具进行的分析,人工进行的分析一般称为程序理解或代码审查。
静态进程分析的复杂程度依所使用的工具而异,简单的只考虑个别叙述及宣告的行为,复杂的可以分析进程的完整源代码。不同静态进程分析产生的信息也有所不同,简单的可以是标示可能的代码错误(如lint),复杂的可以是形式化方法,也就是用数学的方式证明程序的某些行为符合其设计规格。