#软件安全

共 7 篇相关文章

Anthropic Frontier Red Team研究显示，LLM已能在上百个真实开源库的RISC-V汇编级别批量生成形式化证明，覆盖123个OSS-Fuzz库、239个入口点，合计约1.8亿行Rocq证明，并在过程中发现数百量级Bug。文章解析其规格生成、证明流水线、信任边界与成本下降路径。

Reddit 热帖称过去一个月发现了史上 3% 的严重软件漏洞，被称为「黑色十月」。本文拆解这一说法的统计口径问题，分析 AI 辅助代码审计如何加速漏洞发现，以及开发者和企业该如何应对补丁窗口缩短的挑战。

开源工具REA（Reverse Engineer Anything）让AI代理直接逆向任意编译程序，单日GitHub破7000星。它封装Ghidra等工具并通过MCP接入编码代理，输出伪代码、调用路径与证据，重塑软件护城河的定义。

Linux内核维护者Greg Kroah-Hartman在技术演讲中探讨LLM时代的软件安全挑战，分析大语言模型对开源代码审计、漏洞治理与维护者信任机制的双重影响。

30天内MCP Python SDK、Rust SDK(rmcp)和LiteLLM接连曝出三起认证漏洞，根源都是轻信通信对端自报的信息而未加验证。本文梳理受影响范围与安全检查清单，帮助团队堵住MCP认证缺口。

波音737 MAX被曝存在新软件缺陷，可能干扰导航功能。本文梳理事件背景、导航系统风险及737 MAX的历史软件问题，分析后续值得关注的监管与修复方向。

Rust 语言解决了内存安全，却挡不住供应链攻击。本文深度解析 RayRef Cargo 恶意包事件：拼写抢注 ProcMacro1、build.rs 编译时后门、与朝鲜攻击基础设施重合，以及 Rust 开发者的防范建议。