paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Not In My Git Yard: Catching Backdoors at Commit and Release Time

别在我的 Git 仓库里搞事:在提交与发布阶段捕获后门
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 2/10 · 该论文聚焦代码级后门检测,使用差分 fuzzing 与代码变更分析,属于软件安全与测试方向;虽然涉及程序分析技术,但既非面向 ML/Agentic 程序的静态分析,也未与 LLM/Agent 或贝叶斯/浮点程序分析交叉,与用户画像的几个核心问题均不契合。引用 0 inbox
Dimitri Kokkonis, Michaël Marcozzi, Stefano Zacchiroli
crossref: 2026-10-09

AI 速览

一句话:结合差分 fuzzing 与代码变更分析,在 CI 与发布流程中自动检测并定位代码级后门。

开源软件面临代码级后门威胁:攻击者借恶意提交、被篡改的发布包或被攻陷的第三方依赖植入带秘密触发的隐蔽提权代码,现有 CI 无法检测,下游二进制分析又需大量人工。作者提出 Lily,将后门检测嵌入 CI 流水线以拦截恶意提交,并嵌入发布审查流程以阻止被篡改的发布或依赖进入 Linux 发行版等大型生态。其核心是增强 CI 兼容的 fuzzing,通过对比历史与当前执行来发现可疑行为的触发条件;再将代码变更分析与 fuzzing 数据结合,在更新改动数百万行代码时仍能定位暴露后门的代码区域。作者还分析五种规避策略及相应防御。在数百个良性/含后门提交与发布上的实验中,Lily 准确率高、误报低,能可靠定位恶意代码、抵御对抗规避,并可阻止真实后门事件。

问题
代码级后门可通过恶意提交、被篡改的发布包或被攻陷的第三方依赖潜入广泛使用的开源项目,而现有 CI 流水线无法检测,下游二进制分析工具又依赖大量人工审查。
方法
Lily 把后门检测同时集成到 CI 流水线与发布审查流程中:增强 CI 兼容的 fuzzing,依据历史与当前执行的差异识别可疑行为的触发条件;并融合代码变更分析与 fuzzing 数据,精确定位暴露后门的代码区域。
评估
在数百个良性提交与含后门提交/发布上开展实验,报告检测准确率与误报率、恶意代码定位能力;同时设计五种攻击者规避策略并评估相应防御,并回溯检验其能否阻止真实后门事件。
原文摘要(Abstract)

Code-level backdoors—stealthy code changes that grant hidden privileges via secret triggers—pose a persistent threat to open-source software. Known attempts to inject such backdoors into widely used projects through malicious commits, tampered release packages, or compromised third-party dependencies, were stopped only by luck and manual review. Existing Continuous Integration (CI) pipelines cannot detect these attacks, and downstream binary analysis tools require substantial manual effort. In this work, we present Lily, an automated approach that strengthens open-source development and release processes against backdoor injection. Lily integrates a backdoor detection mechanism into (1) CI pipelines to block malicious commits, and (2) release vetting workflows to prevent tampered releases or compromised dependencies from entering large ecosystems, such as Linux distributions. Lily offers two key contributions. First, it enhances CI-compatible fuzzing with the capability to detect triggers of suspicious behavior based on historical and current software executions. This enables fast, precise backdoor detection suitable for both CI and update validation workflows. Second, it combines code change analysis with fuzzing data to precisely point maintainers to backdoor-revealing code regions, even when release updates modify millions of lines of code. We also outline five strategies attackers could use to evade Lily, and evaluate corresponding defenses. Our experiments across hundreds of benign and backdoored commits and releases show that Lily achieves high detection accuracy with low false alarm rates, reliably identifies malicious code, resists adversarial attempts, and would have prevented real-world backdoor incidents.

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX
@inproceedings{abs-2607-26719,
  title = {Not In My Git Yard: Catching Backdoors at Commit and Release Time},
  author = {Dimitri Kokkonis and Michaël Marcozzi and Stefano Zacchiroli},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3834352}
}