Vercel Security Review 上线不到一周扫描出 57,897 个漏洞
Vercel 这个安全扫描 Agent 上线不到一周就揪出 6 万个漏洞，还自动修了近 1.5 万个。不用部署在 Vercel 也能扫自己的仓库，11 月 10 日前免费，管代码的都该跑一遍。
#代码安全
共 44 条 · 7 天 1 条 · 30 天 12 条
信息流里打上「代码安全」标签的资讯、产品与论文，按刊登时间排，新的在上。
11月11日
11月6日
CodeRabbit 测试 GPT-6 Astra：漏洞检出 22/33 超过现有集成
CodeRabbit 拿 GPT-6 Astra 跑安全扫描，33 个漏洞抓到 22 个，比现役方案多 3 个，中高危发现多 66%，评测数据都在。
11月5日
Vercel 推出 Security Review 公测：每次 push 自动扫描漏洞，Agent 一键修复
Vercel 上线了安全扫描功能，每次 push 自动查漏洞，还让 Agent 一键修，24 小时就修了 1411 个，11 月 10 日前免费。
10月30日
ExploreRepair：多智能体协作框架提升漏洞修复成功率
一篇写代码安全的论文：三个探索智能体分工分析漏洞再汇总修复，缺 PoV 测试也能修，成绩比 EvoRepair 高出最多 25.4 个百分点。
VulnLens：结构化安全解释提升 C/C++ 漏洞检测
论文提出 VulnLens，用 LLM 从 7 个固定视角写安全解释再训练分类器，在 PrimeVul 上 F1 超过 DeepSeek V4 Pro 和 Gemini 2.5 Pro。
10月27日
REVA：用单次前向传播实现实时漏洞检测
Agent 查漏洞太慢，这篇论文直接读 LLM 内部表示，1 秒判定一个函数，比 agentic 方案快 250 倍还不掉准确率，做安全工具的可以看看。
微调让 7B 代码模型在安全审查中准确率从 4.8% 升至 96.6%
想让本地小模型做代码安全审查的可以看看，Qwen2.5-Coder-7B 微调后准确率从 4.8% 干到 96.6%，还开源了带 1993 个样本的数据集。
CodeRabbit 加入 OpenAI Daybreak Defense，Secure 改用 GPT-6.1 Sol 与 GPT Cyber 模型
CodeRabbit 接入 OpenAI 的 GPT-6.1 Sol 和 GPT Cyber 模型做代码安全扫描，Deep Scan 11 月 8 日前免费，可以拿自己的仓库跑一遍试试。
10月26日
CodeRabbit Secure 30 天扫出 8000+ 高危漏洞，免费开放至 11 月 8 日
CodeRabbit 用 AI 代码审查帮 600 家公司扫出了 8000 多个高危漏洞，大部分是权限失控和 SQL 注入，11 月 8 日前可以免费用。
10月23日
Anthropic 用 Claude 为 123 个开源库生成 1.8 亿行形式化验证证明
Anthropic 拿 Claude 给 123 个开源库写了 1.8 亿行证明代码，还揪出多年测试漏掉的 bug，形式化验证这事被 AI 干成流水线了。
10月21日
AgenticVulHunter：用本地开源模型在终端里挖漏洞
研究者做了个能在终端本地跑的漏洞挖掘智能体，用 DeepSeek V3.1 和 Qwen3-Coder 测出了比 Claude Sonnet 4 方案还高的准确率，搞安全审计的可以看看。
10月18日
10月14日
GitHub 推出上下文感知密钥检测模型，误报更少、扫描更快
GitHub 用一个上下文感知模型改进了密钥泄露检测，误报更少，扫描速度还快了 86%，做安全或 DevOps 的可以看看思路。
10月9日
GitHub Universe 大会议程前瞻：AI 代码验证与 npm 依赖安全
GitHub Universe 快到了，官方整理了议程亮点，有 AI 代码验证和 npm 安全的场次，搞开发的朋友可以挑挑听什么。
Security Swarm 用并行 Devin 扫描代码库并修复漏洞
Cognition 让一群 Devin 智能体并行给你的代码库找漏洞，沙箱里验证后直接提 PR 修复，跨文件的漏洞链也能抓到。
10月6日
CodeRabbit解决代码授权检查错误问题
CodeRabbit解决了AI编程助手可能犯的授权检查错误，通过独立审查确保代码安全。
10月2日
OpenAI 发布 Codex 新功能
OpenAI 给 Codex 加了新功能，现在能帮你写代码、查漏洞、保安全了，对程序员挺实用的。
9月30日
OpenAI为Codex添加可重用云环境
OpenAI给Codex加上了能跨设备用的云环境，还加了语音控制和代码安全扫描功能。
9月3日
谷歌发布Gemini 3.8 Flash和3.8 Flash Cyber模型
谷歌发布了Gemini 3.8系列模型，一个提升推理能力，一个专注网络安全，都是各自领域的升级款。
谷歌推出Gemini 3.8 Flash Cyber模型
谷歌新发布的Gemini 3.8 Flash Cyber专门用于代码安全防护，漏洞挖掘成功率超70%，修复漏洞效率是顶尖商业模型的2.6倍。
IT之家原文
9月1日
FactoryAI 推出 Droid Shield 代码秘密检测工具
FactoryAI 用微调 Qwen 模型打造了比 GPT-5.5 更强、更快的代码秘密检测工具 Droid Shield。
8月22日
Claude Mythos 5 安全扫描公测
Claude AI 推出 Claude Mythos 5 安全扫描公测，无需额外模型访问，提升代码安全检测能力。
8月14日
50个开源项目揭示AI时代的安全经验
GitHub 总结了50个开源项目用 AI 工具和专家经验搞安全的做法，维护者可以直接参考里头的方法。
8月11日
8月6日
Replit 与 Semgrep 合作，构建过程中实时运行安全扫描
Replit 现在边写代码边帮你查安全问题了，跟 Semgrep 合作的，不用等构建跑完，挺方便。
7月29日
OpenAI 开源 Codex Security CLI，从命令行发现并修复漏洞
OpenAI 开源了一个叫 Codex Security CLI 的命令行工具，能自动找代码漏洞并修复，已经修了 3000 多个高危漏洞，比 Claude Security 也不差。
OpenAI 开源 Codex Security CLI，集成代码扫描与CI/CD安全检查
OpenAI 出了个开源安全工具 Codex Security CLI，能帮你自动扫描代码漏洞、集成进 CI/CD，安装只要一行 npm 命令，快试试。
IT之家原文
7月23日
Codex Security Plugin 开源发布，用于AI驱动网络威胁建模
OpenAI 团队的 VB 发了这个插件，能自动做威胁建模和修复，还开源了，做安全的快试试。
Claude Security 插件 for Claude Code 现已推出 Beta 版
用 Claude Code 写代码的话，直接装这个插件，提交前就能扫漏洞，省心省力。
7月22日
思科基金会AI发布Antares：350M和1B开源权重组，精准定位代码库已知漏洞
思科开源了超小的漏洞定位模型 Antares，比 GPT-5.5 快几百倍还便宜，代码安全工程师可以试试。
7月18日
GPT-5.6 Sol在“The Last Ones”网络靶场创下网络安全新纪录
OpenAI的GPT-5.6 Sol在网络安全靶场拿了第一，还能直接帮团队修真实漏洞，试试Codex Security吧。
7月14日
xAI回应Grok build CLI上传代码问题：ZDR仅企业可用，删除数据无法证伪
Grok build CLI会把你的整个代码库上传到服务器，xAI说关掉ZDR就能删掉，但ZDR只对企业账号开放，普通用户没法用。而且删没删你根本不知道，风险很大。
LangChain：生产级智能体执行基础设施的关键要求
LangChain总结了跑智能体到生产环境真正需要什么：安全执行代码、管好凭证、团队能看日志、环境可复现。做智能体应用的建议看看。
7月2日
Devin Security Swarm 发布，基于 Agentic MapReduce 架构发现安全漏洞
Devin 出了个 Security Swarm，用 Agentic MapReduce 拆任务找漏洞，便宜又准，适合复杂代码库。
6月29日
6月21日
AWS推出Continuum和Context两项服务，弥补AI代理缺乏业务上下文和安全漏洞
AWS出了两个新工具，一个帮你修代码漏洞，一个给AI代理补业务知识。以后AI写代码能少翻车了。
6月18日
6月16日
新基准SusVibes揭露编程代理安全秘密
卡内基梅隆的测试发现，编程代理写代码10个里只有1个安全。别信AI代码，一定要做安全审查。
6月11日
Clint Gibler 加入 OpenAI 领导网络安全团队
OpenAI 挖来 Semgrep 创始人做安全，说明 AI 安全攻防进入新阶段。做安全开发、应用安全或关注 AI 安全趋势的从业者，值得看看 OpenAI 的防御路线图。