如何基于现有编译器识别指定代码中的所有语义错误

你已经有适配对应语法的编译器前提下，最优方案是直接复用编译器自带的成熟语义分析能力做轻量定制开发即可，不需要从零搭建语义检查逻辑，具体实现步骤如下：

• 打开编译器最高等级语义检查配置
  给编译器加上所有语义检查相关的编译选项，关闭所有错误忽略、警告降级规则，确保类型校验、符号解析、函数调用校验、返回值校验等所有内置检查规则全部生效。
• 给编译器语义分析模块加错误捕获钩子
  在编译器语义分析的四个核心阶段插入自定义回调，统一收集错误：
  • 符号解析阶段：捕获重复声明、未声明符号、导入符号不存在的错误
  • 类型检查阶段：捕获类型不匹配、非法隐式类型转换的错误
  • 函数校验阶段：捕获函数名不存在、参数个数不匹配、参数类型不兼容的错误
  • 返回值校验阶段：捕获返回值类型和函数声明不匹配的错误
• 结构化汇总所有错误
  拦截编译器的错误输出流，把所有报错按行号、错误类型、错误原因分类整理，避免遗漏。
• 可选：补充自定义语义规则检查
  如果有业务专属的语义检查要求，可以直接遍历编译器生成的AST抽象语法树，补充自定义检查逻辑即可。

这套方案可以完整覆盖所有编译器支持的语义错误，准确率和效率都远高于自研语义分析模块

你给出的示例代码用这套方案可以识别到的语义错误如下：

import printf, printf; // 重复导入同一个printf符号
void foo(int x, int y) {
 return 0; // void类型的函数不能返回int类型的值
}
int a = food(1, -2.0, 5); // 不存在名为food的函数；就算是拼写错误想调用foo，参数个数3个和foo要求的2个不匹配，第二个参数double类型和foo要求的int类型不兼容

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