传统代码审查和静态分析工具（如 linter）擅长发现语法错误、代码风格问题和模式化缺陷，但对运行时行为一无所知。