Static Checker与Static Analyzer是否为同一技术概念？

在大多数技术文献的语境中，Static Analyzer（静态分析器）和Static Checker（静态检查器）这两个术语经常被混用，指的都是在程序运行前，借助AST（抽象语法树）、CFG（控制流图）、PDG（程序依赖图）等程序中间表示开展分析的工具。

不过如果要做严格区分，二者存在细微的定位差异：

• Static Analyzer的范围更宽泛：它会执行各类静态分析任务，包括数据流分析、控制流分析、依赖关系分析等，输出结果可能涵盖代码结构信息、复杂度统计、潜在风险提示等，并不局限于“错误检查”这单一目标。
• Static Checker更聚焦于错误检测：它基于预设的规则（比如代码规范、安全漏洞模式、语法合规性要求）对代码进行扫描，直接报告违反规则的具体问题，常见的lint类工具就更偏向这类定位。

简单来说，所有静态检查器都可以被看作是静态分析器的一个子集，但并非所有静态分析器都以“检查错误”为核心目标。

内容的提问来源于stack exchange，提问作者saha