Aletheia：编码代理规则的权限最小化测试框架

2026-10-01，arXiv 软件工程期刊发表一手研究，提出 Aletheia 框架，用于检测编码智能体规则中的过度权限请求。方法是将权限请求转为类型化语言，并合成可执行沙箱配置，通过逐项移除权限进行独立测试，判断请求是否可被替代。在共享重构任务上，框架检出全部 314 条 AIShellJack 攻击输入，对 5 条良性模板无告警；在 80 条人工验证的良性 GHAgentFiles 规则中产生 3 个误报（误报率 3.75%）。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。