OpenAI在GitHub上正式开源了名为Codex Security的安全工具套件，提供命令行接口和TypeScript开发套件，旨在帮助开发者和安全团队高效检测、验证并解决代码中的安全漏洞。该工具的核心能力在于自动化代码扫描与漏洞追...

微软正式推出面向网络安全的专用大模型MAI-Cyber-1-Flash，该模型专门针对大型代码库中的复杂漏洞进行深度检测，标志着AI在主动防御领域迈出重要一步。MAI-Cyber-1-Flash不只是一个通用的代码分析工具，它通过专门训...

AI Agent在实际部署中常常面临单元测试无法捕获的失败模式，例如工具调用错误、提示注入攻击以及缺失防护栏等问题。Flint AI新推出的CLI工具解决了这一痛点，它提供一套轻量级的本地命令行工具，支持开发者通过一个...

在AI驱动原型设计显著加速软件交付的当下，一篇来自技术作者Matt Sayar的洞察文章再次为行业敲响警钟：尽管借助Claude Code等工具，开发者可以快速从UI仓库克隆代码、添加功能并记录演示视频，但这些AI生成的原型距...

Anthropic公司近日在GitHub上开源了其自动化漏洞发现与修复参考框架——Defending Code Reference Harness。该框架集成了威胁建模、代码扫描、风险分级和补丁生成等核心安全能力，并提供了一个高度可定制的自动化扫描...

一项针对基于Rust语言开发的GNU coreutils替代品——uutils项目的2026年安全审计结果显示，尽管Rust在内存安全方面表现出色，完全杜绝了所有内存相关的漏洞，但该项目仍被发现存在44个安全漏洞。这些漏洞并非来自Rust...

Anthropic的研究员Nicholas Carlini近期利用其AI编程助手Claude Code，成功发现了Linux内核中的多个安全漏洞，其中最引人注目的是一项在NFS（网络文件系统）驱动程序中潜藏了23年之久的堆缓冲区溢出漏洞。这一发现不...

近日，一款名为Mog的新型编程语言在开发者社区引发关注。Mog被定位为一门静态类型、编译型、嵌入式语言，其设计理念与静态类型的Lua类似，但核心目标用户并非人类程序员，而是大型语言模型（LLM）。该语言的完整规范...