paperbot · PL 论文追踪

全部论文 待读 收藏

P2 RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains

RogueOne:基于信任域的差分数据流分析检测恶意更新
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10 · 该论文属于程序分析与抽象解释方向,采用差分数据流分析检测 JS 包更新中的恶意代码,与用户的 PL 背景有方法论上的交集;但其应用场景是软件供应链安全,与用户关注的四条主线(静态分析用于 ML/Agentic 程序、LLM 改进静态分析、浮点程序分析、贝叶斯程序分析)均无直接关联,也不涉及 LLM/Agent 或工业界 AI 落地。引用 5 inbox
Raphael J. Sofaer, Yaniv David, Mingqing Kang, Jianjia Yu, Yinzhi Cao, Junfeng Yang, Jason Nieh
crossref: 2026-09-12

AI 速览

一句话:提出基于差分数据流分析与信任域的 RogueOne,检测 JavaScript 包更新中的恶意代码。

针对软件供应链中攻击者将恶意代码隐藏在良性更新里的 Rogue Update,本文提出 RogueOne 检测 JavaScript 包更新。它使用差分数据流分析刻画更新如何改变包与外部 API 的交互;通过排除未变代码的高效抽象解释构建对象数据流关系图(ODRG),跟踪对象间数据流,并将对象按来源映射到目标包、依赖或系统 API 的信任域。基于 ODRG 生成跨信任域数据流集合,比较版本间差异以发现不可信的新外部 API 交互。在数百个 npm 包上评估,RogueOne 能有效检测并区分恶意更新,准确率高,检测恶意更新和避免误报的效果可比现有系统高七倍以上。

问题
软件供应链攻击者可将恶意代码隐藏于良性软件更新中,形成隐蔽的 Rogue Update;现有恶意包检测系统难以准确识别此类更新并控制误报。
方法
RogueOne 采用差分数据流分析与可排除未变代码的抽象解释,构建 ODRG 并把对象映射到信任域,通过比较包版本间的跨信任域数据流集合检测不可信的新外部 API 交互。
评估
在数百个 npm 包上评估,RogueOne 在检测 Rogue Update、区分良性更新和避免误报方面达到高准确率,效果可比现有恶意包检测系统高七倍以上。
原文摘要(Abstract)

Rogue updates, an important type of software supply-chain attack in which attackers conceal malicious code inside updates to benign software, are a growing problem due to their stealth and effectiveness. We design and implement RogueOne, a system for detecting rogue updates to JavaScript packages. RogueOne uses a novel differential data-flow analysis to capture how an update changes a package's interactions with external APIs. Using an efficient form of abstract interpretation that can exclude unchanged code in a package, it constructs an object data-flow relationship graph (ODRG) that tracks data-flows among objects. RogueOne then maps objects to trust domains, a novel abstraction which summarizes trust relationships in a package. Objects are assigned a trust domain based on whether they originate in the target package, a dependency, or in a system API. RogueOne uses the ODRG to build a set of data-flows across trust domains. It compares data-flow sets across package versions to detect untrustworthy new interactions with external APIs. We evaluated RogueOne on hundreds of npm packages, demonstrating its effectiveness at detecting rogue updates and distinguishing them from benign ones. RogueOne achieves high accuracy and can be more than seven times as effective in detecting rogue updates and avoiding false positives compared to other systems built to detect malicious packages.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11333,
  title = {RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains},
  author = {Raphael J. Sofaer and Yaniv David and Mingqing Kang and Jianjia Yu and Yinzhi Cao and Junfeng Yang and Jason Nieh},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639199}
}