code-review - 多深度代码审查与严重性分级代码审查静态分析代码质量安全★ 9 · 更新于 2026-05-09检查已变更的源代码文件,识别漏洞、安全隐患、代码质量和可维护性问题⚙ 扫描源代码文件⚙ 识别缺陷⚙ 检测安全漏洞
auditor - 独立代码审计三角验证工具代码审计代码验证变更日志审查安全审计★ 27 · 更新于 2026-03-10在无先验上下文情况下,基于三角验证方法独立验证代码与变更日志⚙ 读取变更日志⚙ 读取源代码⚙ 验证一致性