paperbot · PL 论文追踪

全部论文 待读 收藏

P2 KIT: Testing OS-Level Virtualization for Functional Interference Bugs

KIT:测试 OS 级虚拟化中的功能干扰缺陷
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10 · 该论文研究 OS 级虚拟化中容器隔离失效的功能干扰缺陷检测,属于系统安全与软件测试方向;与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接关联。引用 14 inbox
Congyu Liu, Sishuai Gong, Pedro Fonseca
crossref: 2026-09-12

AI 速览

一句话:提出 KIT,用于检测 OS 级虚拟化中导致容器隔离失效的功能干扰缺陷。

容器隔离依赖 Linux namespaces 等 OS 级虚拟化机制,但这些机制极难正确实现,实践中存在功能干扰缺陷,严重威胁容器安全。此类缺陷通常不引发内存错误或崩溃,而是隐蔽的逻辑错误,会静默产生语义上错误的结果,使攻击者能从同一机器上的其他容器提取信息,或通过修改未被正确隔离的内核资源破坏其完整性。尽管影响严重,功能干扰缺陷因难以检测而关注有限。论文提出 KIT,标题表明其用于测试 OS 级虚拟化以发现这类缺陷。摘要未给出具体方法、技术细节与实验评估结果。

问题
OS 级虚拟化(如 Linux namespaces)的容器隔离机制难以正确实现,会存在功能干扰缺陷,使攻击者可跨容器获取信息或篡改未正确隔离的内核资源,而这类缺陷多表现为难以发现的静默逻辑错误。
方法
论文提出 KIT,从标题与摘要可知其定位为测试 OS 级虚拟化的方法或工具,用于发现功能干扰缺陷;摘要未给出具体技术细节。
评估
摘要未报告评估方式与实验结果。
原文摘要(Abstract)

Container isolation is implemented through OS-level virtualization, such as Linux namespaces. Unfortunately, these mechanisms are extremely challenging to implement correctly and, in practice, suffer from functional interference bugs, which compromise container security. In particular, functional interference bugs allow an attacker to extract information from another container running on the same machine or impact its integrity by modifying kernel resources that are incorrectly isolated. Despite their impact, functional interference bugs in OS-level virtualization have received limited attention in part due to the challenges in detecting them. Instead of causing memory errors or crashes, many functional interference bugs involve hard-to-catch logic errors that silently produce semantically incorrect results.

链接与引用

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

BibTeX
@inproceedings{paperbot10001,
  title = {KIT: Testing OS-Level Virtualization for Functional Interference Bugs},
  author = {Congyu Liu and Sishuai Gong and Pedro Fonseca},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3575693.3575731}
}