最有效方法是用正则表达式批量扫描三类取余错误：①除数为0（匹配[/ %]\s0\b）；②负数参与取余（如%\s-\w+、-\w+\s*%）；③整型溢出（如% -1、% INT_MIN等），并辅以编译器警告和UBSan验证。

直接用正则表达式批量扫描最有效，重点盯住除数为0、负数参与运算、以及整型溢出这三类典型错误。

找除数为0的%操作

这是最危险的写法，运行时直接崩溃。匹配模式很简单：

%\s*0\b

注意要加单词边界 \b，避免把 10、0x0 之类误伤。实际扫描时建议同时检查 / 0 和 % 0，用同一正则：[/%]\s*0\b

找负数参与取余的地方

C/C++/Java里 a % b 的符号取决于被除数 a，但很多老代码默认结果非负，逻辑就错了。搜这两类：

• %\s*-\w+（右边是负变量或常量，如 % -n、% -10）
• -\w+\s*%（左边是负变量，如 -x % 5）

别漏掉宏定义里的负值，比如 %-MAX_LEN，可先预处理再扫，或加一条 %[^;{]*-[\d\w]+ 宽松匹配。

找可能溢出的整型取余

比如 INT_MIN % -1 在C里是未定义行为。搜硬编码的极端值：

% (?:-?0x[0-9A-Fa-f]+|-?\d+)

然后人工核对是否落在 INT_MIN、INT_MAX 附近。也可以用编译器警告辅助：开 -Wdiv-by-zero 和 -Woverflow，部分溢出情况会被捕获。

配套动作不能少

光靠正则不够，得结合上下文判断：

• 把匹配行连同前后3行一起导出，方便看变量类型和赋值来源
• 对疑似问题点，加临时断言，比如 assert(b != 0); assert(b != -1 || a != INT_MIN);
• 有单元测试的模块，跑一遍并开启 UBSan（UndefinedBehaviorSanitizer），它能当场报出非法取余