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