6. 程序静态分析

程序静态分析（Program Static Analysis）是指在不运行代码的方式下，通过词法分析、语法分析、控制流分析、数据流分析等技术对程序代码进行扫描，验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。
编写静态分析程序的目的就是为了分析其他程序，因此程序静态分析是一个非常典型的元编程的场景。程序的静态分析是一个非常专业的细分领域，本书并不打算对此进行深入探讨和介绍，我们所要做的，就是结合实际的生产场景选择合适的工具和途径来实现目的。