式理解或代码审查。静态程序分析的复杂程度依所使用的工具而异，简单的只考虑个别语句及声明的行为，复杂的可以分析程序的完整源代码。不同静态程序分析技术对分析得到的资讯的用途也有所不同，简单的可以是高亮标识可能存在的代码错误（如lint），复杂的可以是形式化方法，也就是用数学的方式证明程式的某些行为符合其设计规约。软体度量和反向工程可以视为一种静态程序分析的方式。在实务上，在定义所谓的软体品质指标（software quality objectives）后，软体度量的推导及程序分析常一起进行，在开发嵌入式