arXiv论文研究编码智能体在演进既有代码时遵循先例还是任务指令
论文通过在定制仓库中进行双向受控实验并结合真实开源仓库验证,研究当既有代码先例与新任务指令冲突时,编码智能体如何在默认偏好、仓库先例和显式任务指令之间做选择。实验覆盖四个编码智能体、六组实现对,共5,625次试验,并在三种编程语言的四个开源仓库中验证。
AI 安全方向的论文、会议、比赛、教程与资料,按内容形态筛选,支持搜索。
论文通过在定制仓库中进行双向受控实验并结合真实开源仓库验证,研究当既有代码先例与新任务指令冲突时,编码智能体如何在默认偏好、仓库先例和显式任务指令之间做选择。实验覆盖四个编码智能体、六组实现对,共5,625次试验,并在三种编程语言的四个开源仓库中验证。
论文研究了编码智能体自动加载的项目记忆文件作为攻击面的风险:攻击者可通过pull request修改记忆文件,在不接触开发者prompt的情况下引导智能体生成通过测试但存在漏洞的代码。
Liran Tal 等发布 VulnBench 2.0 基准,包含 20 个开源 Web 应用中 108 个人工整理的攻击者可达漏洞(Go、JavaScript/TypeScript、Python、Java),其中 62 个跨文件,判定标准要求同时定位攻击者可控 source 与危险 sink 且各在两行内。
arXiv 论文提出 Cross-Boundary Adversarial Runtime Injection(CARI)攻击设置:在多方协作的编码智能体工作流中,恶意或被攻陷的对等开发组件(如后端服务、测试框架、CI 任务)可在其运行时反馈中暗藏指令,诱导受害方智能体执行越权操作。
Wiz 研究人员通过访问日志和身份提供方遥测还原出攻击者使用开源渗透测试 Agent ARTEX 的攻击过程,该操作者与 Microsoft 追踪的 Storm-0940 共享基础设施与习惯,目标为 IT 与软件厂商,聚焦 Okta、Entra、Cognito 身份层。
论文《Thinking-in-Bets at Test Time Reduces Sycophantic Revisions in LLM Agents》(作者 Nghi D. Q. Bui)提出一种免训练方法:让智能体在读用户回复前先写一份私有 Claim Checklist,逐条记录主张、支撑证据与置信度,收到质疑时据此决定保留、复核、澄清或修复。
论文提出名为 Heads of Security (HoS) 的提示词注入防御方法,通过一组学习得到的每头注意力门强制指令与数据分离,让模型在不遵循注入指令的前提下推理不可信内容。
论文研究长时程LLM Agent中的间接提示词注入,构建了覆盖工具使用、编码和日常工作流三个领域的测试环境,发现即使注入内容完全相同,攻击成功率也随注入位置显著变化,作者称之为trust region效应。
arXiv:2610.31376 论文(作者 Chao Gu、Quanyan Zhu)将 LLM Agent 与工具之间的执行护栏形式化为 Petri 网监督控制问题,用 token 表示能力、审批与预算,使前置条件缺失或已消耗的注入请求被机械拒绝。
论文提出 Ulysses,一个多智能体安全框架,用于为 Web 应用合成可验证的漏洞利用证明(Proofs of Exploitability),通过迭代探索利用假设并在独立观测的执行效果中确认成功,将候选漏洞发现转化为已验证结果。
arXiv:2610.33318 论文提出 Enclawed,一个面向 LLM 驱动 HPC 工作流的确定性安全运行时,通过可解析策略的启动门控、硬件根信任 Enclaweder 签名、短租约与心跳共识、fail-closed 驱逐来监管每个 rank,即使控制主机或协调器被攻陷也能维持防护。
论文提出 Compaction Laundering 攻击:编码智能体压缩上下文时,若 harness 将带类型的消息拍平为单一字符串并用 [User]: 等文本标签标记,攻击者可伪造在压缩后仍被当作真实指令的用户轮次。
Gadi Evron 的论文指出,基于 LLM 的漏洞发现 harness 会因代码选取、过滤、结果存储与合并等环节的工程选择和错误,在模型运行前后丢弃真实可达的漏洞,且报告通常不作提示。
研究提出 source interventions 方法,用仅差一个 commit、同一输入只在一个源码树上崩溃的配对样本,测试编码智能体是否真能推理执行行为。
论文构建40个Python项目,在指令文件与现有代码约定冲突时让Claude Code和Codex CLI各运行320次。结果显示无干预时90.1%的选择遵循过期指令文件,Claude Code在80次运行中79次指出冲突仍照做,Codex CLI在80次中20次改写现有代码、其中17次导致项目测试失败。
研究对 37 个安全技能在 Claude Code 与四种底层 LLM 上做了大规模实证,覆盖 10 类共 100 个真实 Linux 内核漏洞、合计 14800 次运行。
一篇 arXiv 论文提出面向 SIEM/XDR 的受限动作架构:SOC 分析 LLM 被限制在封闭意图词表内,命令由管理器按 OS 模板展开并逐参数校验,外层再套 NeMo-Guardrails 代理。