Daily Tech Briefing
AI 科技速览

每天 5 分钟内学习 AI。获取最新的人工智能新闻,理解其重要性,并学习如何将其应用于您的工作。

AI 快讯
MarkTechPost · 2026/7/22 06:27:02

Cisco Foundation AI Releases Antares: 350M and 1B Open-Weight Models That Localize Known Vulnerabilities Inside Real Codebases

AI 中文解读
思科AI部门最新发布了一款名为Antares的安全小语言模型,专门用于在代码仓库中精准定位漏洞位置。这款模型目前开源了两个版本(3.5亿和10亿参数),体积虽小,但在漏洞定位任务上的表现却非常惊人——10亿参数的模型得分与GPT-5.5几乎持平,甚至超过了一些拥有700多亿参数的巨型模型。 通俗来说,就像给安全工程师配了个“代码侦探”。过去要手动在庞大代码库里翻找漏洞,现在只要告诉Antares“这种漏洞长什么样”,它就能自己钻进代码仓库,通过模拟工程师的操作流程,一步步排查并提交嫌疑文件,全程只消耗15次“思考次数”。而且它完全开源免费,企业可以放心使用。 这项技术最实际的影响在于:中小型开发团队也能负担起高效的安全漏洞排查。以往只有大公司才用得起昂贵的安全工具,现在一个10亿参数的小模型就能完成同等甚至更好的工作。这意味着未来更多软件在上线前,能更快速、更准确地发现安全漏洞,普通用户使用的APP和网站也会变得更加安全可靠。
Cisco Foundation AI has released Antares, a family of security small language models (SLMs) built for one narrow security task. The task is vulnerability localization. Given a vulnerability description and a repository, find the files containing the flaw. Two models are open-weight and available now on Hugging Face, Antares-350M and Antares-1B. Both are Apache 2.0. Cisco team also shipped the Vulnerability Localization Benchmark (VLoc Bench), a 500-task agentic evaluation, under the same license. The main result is not a new state of the art. It is that a 1B model reaches 0.209 File F1. GPT-5.5 reaches 0.229, and a 753B open-weight model reaches 0.186. The problem Antares is scoped to Software security depends on connecting external vulnerability knowledge to internal source code. That knowledge lives in public databases, advisories, and Common Weakness Enumerations. The code lives in repositories that are large, modular, and dependency-rich. Connecting the two is expensive. Devs search unfamiliar code, follow naming conventions, inspect call paths, and compare candidate files. Cisco’s framing is that this first triage step is where the cost concentrates. Antares does not replace the application security toolchain. Cisco is explicit about this. Dev teams still need dependency scanning, secret scanning, dynamic testing, container checks, threat modeling, and expert review. Understanding the Models Antares consists of three decoder-only transformers at 350M, 1B, and 3B parameters. All three initialize from IBM Granite 4.0 checkpoints. They share a tokenizer and architecture: grouped-query attention, SwiGLU MLPs, RMSNorm, RoPE, and shared input/output embeddings. ModelParamsBase checkpointContextLayers / hidden / KV headsStatusAntares-350M350MGranite 4.0 350M32K28 / 1024 / 4Open weightsAntares-1B1.6BGranite 4.0 1B128K40 / 2048 / 4Open weightsAntares-3B3BGranite 4.0 Micro128KNot publishedNot released How the Agent Loop Works Antares is not evaluated as a standalone sequence model. It runs inside a constrained loop with three tools. The model receives a CWE category description and nothing else. No advisory text, no file hints, no severity details. It then issues read-only terminal commands against a Docker sandbox with networking disabled. Command output is truncated to 2,000 characters before entering the transcript. The budget is 15 terminal calls per task. The model terminates by calling submit_vulnerable_files with a ranked list, or submit_no_vulnerability_found. The submission itself does not count against the budget. Output is a ranked list of file paths plus the exploration trace that produced it. What VLoc Bench measures VLoc Bench draws 500 tasks from 290 unique real-world repositories. Sources are public GitHub Security Advisories across six ecosystems: npm, pip, Maven, Go, Rust, and Composer. It covers 147 unique CWE categories, and 78% of entries carry assigned CVE identifiers. Ground truth is derived from the security patch. Files modified in the fix are labels, with tests, docs, and configuration excluded. The benchmark has two phases: Phase A gives the model the vulnerable snapshot and scores File F1. Phase B gives the patched snapshot and scores True Negative Rate, testing whether the model raises a false alarm on fixed code. (function(){var f=document.getElementById("mtp-antares-explainer-frame");if(!f)return; window.addEventListener("message",function(e){var d=e.data; if(d&&typeof d==="object"&&d.mtpAntaresExplainerHeight){var h=parseInt(d.mtpAntaresExplainerHeight,10); if(h>200&&h Results: task-specific training beats parameter scale The pattern in the data is a capability cliff, not a scaling curve. Antares-3B reaches 0.223 File F1, just under GPT-5.5 (xhigh) at 0.229. Antares-1B reaches 0.209, above GLM-5.2 at 753B parameters, which scores 0.186. Antares-350M reaches 0.135, above Gemma-4-31B at 0.101 and Gemini 2.5 Fla
分享
阅读原文