静态进程分析（英语：Static program analysis）是指在不运行计算机进程的条件下，进行进程分析的方法。有些进程分析需要在进程运行时才能进行，这种进程分析称为动态进程分析。大部份的静态进程分析的对象是针对特定版本的源代码，也有些静态进程分析的对象是目标代码。静态进程分析一词多半是指配合静态进程分析工具进行的分析，人工进行的分析一般称为程序理解或代码审查。

静态进程分析的复杂程度依所使用的工具而异，简单的只考虑个别叙述及宣告的行为，复杂的可以分析进程的完整源代码。不同静态进程分析产生的信息也有所不同，简单的可以是标示可能的代码错误（如lint），复杂的可以是形式化方法，也就是用数学的方式证明程序的某些行为符合其设计规格。

Static program analysis is the analysis of computer software that is performed without actually executing programs (analysis performed on executing programs is known as dynamic analysis). In most cases the analysis is performed on some version of the source code, and in the other cases, some form of the object code.