semantic-bug-detector

通过分析代码行为是否与其从函数/变量名、注释、文档字符串和文档中推断出的预期目的相匹配，检测语义级错误。适用于以下场景：(1) 查找实现与声明意图相矛盾的逻辑错误，(2) 识别差一错误和边界不匹配问题，(3) 检测逻辑颠倒或使用了错误的运算符，(4) 发现缺失的边界情况处理，(5) 验证代码是否符合其文档描述。支持多种编程语言，突出显示意图与实现之间的不匹配。

模型生成摘要（rules/v1 · 2026-11-16 03:30）：通过分析代码行为是否与其从函数/变量名、注释、文档字符串和文档中推断出的预期目的相匹配，检测语义级错误
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-16 03:30	15360e1f	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。