paperbot · PL 论文追踪

全部论文 待读 收藏

P2 ViK: practical mitigation of temporal memory safety violations through object ID inspection

ViK:通过对象 ID 检查实用地缓解时序内存安全违规
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 1/10 · 论文研究运行时内存安全违规(如 UAF)的实际缓解,属于系统安全/动态运行时方向,与用户关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接交叉;仅同属程序语言与程序分析大领域,但核心方向不匹配。引用 24 inbox
Haehyun Cho, Jinbum Park, Adam Oest, Tiffany Bao, Ruoyu Wang, Yan Shoshitaishvili, Adam Doupé, Gail-Joon Ahn
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 ViK,通过对象 ID 检查实用地缓解 use-after-free 等时序内存安全违规。

论文关注 C/C++ 等内存不安全语言中的时序内存安全违规,尤其是 use-after-free(UAF)漏洞,这类问题严重威胁软件安全。标题表明作者提出 ViK,一种通过对象 ID(object ID)检查来实用地缓解时序内存安全违规的方法。其核心思路应是在运行时识别并检查对象标识,以判断访问是否仍指向合法对象,从而阻止悬垂指针或释放后使用等非法访问。由于给出的摘要只描述了问题背景,未说明具体实现机制、性能开销或实验评估,因此摘要层面只能确认该工作以实用化缓解时序内存安全违规为目标。

问题
C/C++ 等内存不安全语言中,use-after-free 等时序内存安全违规是严重的安全问题。
方法
ViK 通过检查对象 ID 来识别并缓解时序内存安全违规;给定摘要未展开其具体实现与机制。
评估
给定摘要未说明评估方式或实验结果,因此无法从摘要确认其开销、覆盖率或实际部署效果。
原文摘要(Abstract)

Temporal memory safety violations, such as use-after-free (UAF) vulnerabilities, are a critical security issue for software written in memory-unsafe languages such as C and C++.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{ChoPOB0SDA22,
  title = {ViK: practical mitigation of temporal memory safety violations through object ID inspection},
  author = {Haehyun Cho and Jinbum Park and Adam Oest and Tiffany Bao and Ruoyu Wang and Yan Shoshitaishvili and Adam Doupé and Gail-Joon Ahn},
  booktitle = {ASPLOS},
  year = {2022},
  doi = {10.1145/3503222.3507780}
}