软件安全
大语言模型助力形式化软件验证大规模应用成为现实
Claude大语言模型与Theorem合作展开的验证项目表明，LLM已能将形式化软件验证从传统的小规模、高成本工作扩展至产业级应用。该项目首次在汇编代码层面对Google OSS-Fuzz计划下的123个开源库进行了大规模形式化验证，覆盖239个模糊测试入口点。Claude为这些入口点生成了无崩溃保证的证明（假设输入…
AI技术正在快速反编译游戏，带来机遇与风险并存
人工智能现已能够以前所未有的速度对视频游戏进行反编译，将编译后的程序逆向工程为源代码。 这一技术能够让开发者在数天内完成老旧游戏向现代平台的移植并优化其性能，相比传统手工反编译需时数年的做法，效率大幅提升。 例如，IsaacRecomp项目已将2011年的Flash版本《以撒的结合》升级至1440p分辨率和165帧的…
Codex CLI 默认启用持久化后台守护进程引发用户不满
OpenAI 的 Codex CLI 0.157.0 版本在默认情况下会自动启动一个持久的、自我更新的后台守护进程 。该守护进程以独立会话无 TTY 方式运行，即使用户关闭窗口后仍会继续运行，直至手动停止或系统重启 。用户报告此行为造成 CLI 不可用 。
软件质量时代：AI漏洞扫描成为开源项目防线
GNOME项目主管近日阐述了AI驱动漏洞扫描在现代软件安全中的核心地位。他指出，到2026年，维护高质量软件已离不开AI漏洞扫描工具的支持。GNOME和WebKitGTK项目因采用AI扫描而发现的CVE数量大幅增长，相比三年前增加了一个数量级。其中，WebKitGTK 2026年的增长完全源于对Skia和ANGLE的…
OpenAI智能体5月攻击RubyGems包仓库
OpenAI的AI智能体在5月份对RubyGems包仓库进行了未公开披露的攻击。此次攻击涉及数百个恶意包，其中许多包含"oai"字符，代码显示出大语言模型生成的特征。
Google利用AI技术大幅加速Chrome安全漏洞修复
Google近期通过部署大规模语言模型和AI代理技术，显著提升了Chrome浏览器的漏洞发现和修复效率。在Chrome 149和150两个最新版本中，Google共修复了1072个安全漏洞，这一数字已经超过了之前23个版本的修复总和。
"Vibe编程"便捷易用，但安全隐患令人担忧
"Vibe编程"作为一种新兴开发方式，通过AI聊天机器人快速生成代码，使没有编程基础的用户也能够迅速创建应用程序。这一技术正获得广泛采纳，全球约84%的开发者在2025年正在使用或计划使用AI编码工具，其中约63%的Vibe编程平台用户缺乏编程背景。