#代码审计

共 6 篇相关资讯，按重要度与时间排序，每 3 小时更新。

★ 2

AnchorGit 发布：为 AI 生成代码提供硬件签名的 Git 决策账本

Show HN 项目 AnchorGit 用硬件签名记录 AI 生成代码的 Git 决策过程，形成可审计的账本，用于追溯「谁在何时让 AI 改了什么」。面向合规与代码审计场景。

Hacker News – AI1 天前

★ 2

一篇实验室笔记对 LLM 生成的所谓「严肃」代码做了逐行审计，记录缺陷类型与改进过程。作者总结如何通过提示、审查与重构把粗糙输出提升到可交付质量，为工程团队使用 AI 编码提供实践参考。

Hacker News – LLM5 天前

★ 2

Vigil 是一个开源 AI 框架，用于长期渗透测试、漏洞赏金和代码审计，其发现需经独立验证。它运行在 Kali 环境中，支持 Claude Code 和 Codex，强调授权使用。

Hacker News – AI20 天前

★ 2

有开发者用 Claude 审查 z.ai 的 ZCode 客户端，发现生产版本可能与开源仓库存在差异，代码中甚至出现「开源版本不享受配额优惠」的提示。这引发社区对闭源构建与开源版本功能差异、以及是否存在隐藏代码的质疑。

Hacker News – AI37 天前

★ 2

开发者发布开源工具 Bastionskill，用于扫描 AI 智能体技能（skill）中可能隐藏的恶意代码。随着智能体生态扩展、第三方技能被广泛调用，供应链安全成为新隐患，此类检测工具填补了智能体插件安全审计的空白。

Hacker News – AI44 天前

★ 1

开发者推出 Modula-9，一种继承 Wirth 语言家族设计的新编程语言，目标是让 AI 生成的代码更易于人工审计。该语言试图从语言层面提升可读性与可验证性，应对 AI 编程带来的代码审查难题。

Hacker News – AI12 天前