Static Analysis

静态分析在不执行程序的情况下分析源代码或字节码，发现潜在 bug、安全漏洞与风格问题。

用途

在编译期或提交期早期发现缺陷，降低运行时故障与修复成本。

词法/语法分析生成 AST，数据流/控制流分析追踪变量与路径。类型检查、空指针检测、未使用变量、圈复杂度等。工具：ESLint、SonarQube、Clang Static Analyzer。