★ 3
Proton CEO 被曝斥不用 AI 员工为“失败者”
404 Media 调查报道称，加密邮箱 ProtonMail 母公司 Proton 的 CEO Andy Yen 在内部 Slack 中，将花数天做安全测试的做法称为“胡扯和失败者思维”，并施压员工用 AI 写代码提速。员工因此不敢对 AI 生成代码的安全漏洞表达担忧。Proton 未否认报道，…
快公司2 天前
#代码安全
共 12 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
研究：Qwen3-Coder 被告知面向美国用户时写出更不安全代码
一项研究发现，阿里 Qwen3-Coder 模型在被提示代码面向美国用户（US persona）时，生成的代码安全性明显下降。该结果揭示模型行为可能随用户身份设定而变化，引发对 AI 编码安全与对齐问题的讨论，在 Hacker News 获得 207 分热度。
Hacker News11 天前
★ 3
Anthropic 用 Claude 自动削减代码攻击面，25 个项目发现 493 个问题
Anthropic 公布研究，用 Claude 对 25 个多语言开源项目做自动化攻击面分析与削减，共发现 493 个问题。方法通过限制代码可达性降低未知漏洞的严重性，而非逐个修复漏洞，为软件安全提供新思路。
Hacker News12 天前
★ 3
OpenAI 为 Codex 提供跨设备可复用云环境
OpenAI 扩展 Codex，新增可复用的云端开发环境、带语音控制的改版 CLI、代码审查工具，以及面向仓库扫描与修复准备的安全产品。此举强化 Codex 作为开发平台的能力。
TechCrunch AI33 天前
★ 2
CodeRabbit 用 GPT-6.1 Sol 强化复杂代码库安全审查
CodeRabbit 借助 GPT-6.1 Sol 在复杂代码库中排查安全风险，其安全智能体可帮助开发者复核发现的问题与修复建议。这体现了模型能力被集成进代码审查与安全工具链的趋势。
OpenAI6 天前
★ 2
Endor Labs 发布 AI 编程智能体安全基准
Endor Labs 公布针对 AI 编程智能体的安全基准研究，评估其在代码生成与执行中的安全风险。该基准为衡量编码 Agent 的漏洞引入与防护能力提供统一测试口径。
Hacker News – AI9 天前
★ 2
Show HN：Plimsoll 为 AI 智能体代码提供自托管沙箱
开发者发布开源项目Plimsoll，可在自托管沙箱中运行AI智能体生成的不受信任代码，并为每次运行标注隔离等级（进程/容器/内核/虚拟机）。请求可设定最低隔离强度，结果附带SHA-256哈希与签名验证，用于审计与复现。
Hacker News21 天前
★ 2
HN 讨论：如何防御基于 LLM 的逆向工程
Hacker News 用户发帖讨论：随着 LLM 逆向工程能力提升，订阅用户即可将可执行文件还原为带语义的源码，传统混淆器可能失效。发帖人区分了「忠实还原源码」与「凭感觉克隆」两种情形，并质疑 Denuvo 等反破解公司是否将失去意义。
Hacker News – LLM21 天前
★ 2
LLM Fuzz CI：用智能体做代码安全模糊测试
Tiime Software 发布 llm-fuzz-ci 开源项目，将 LLM 智能体引入持续集成流程，自动进行模糊测试以发现代码安全漏洞。项目代码托管于 GitHub，作者希望收集社区反馈。
Hacker News – LLM24 天前
★ 2
Netherite：为 Vibe 编程应用做安全审计的 AI
开发者发布 Netherite，定位为面向 AI 生成代码库的安全专家，可扫描漏洞与缺陷并生成专业报告和修复提示。该工具免费试用，瞄准 vibe coding 场景下普遍存在的安全隐患。
Hacker News – AI36 天前
★ 2
AI 生成代码的类型系统与形式化验证
一篇文章探讨如何通过类型系统和形式化验证来审查 AI 生成的代码，避免盲目信任。随着 AI 编程工具普及，代码正确性与安全性验证成为关键挑战。该文主张用严格的形式化方法为 AI 代码提供可信保障。
Hacker News – AI36 天前
★ 1
HN提问：不用Daybreak等工具，AI写的代码是否更不安全
Hacker News 用户发帖提出假设：若不使用 Daybreak、Cyber Verification Program 或未审查模型等特殊渠道，AI 默认生成的代码安全性是否更低。发帖者担心自己越来越依赖普通 AI 的安全判断，希望有相关经验者分享信息。
Hacker News – AI19 天前