Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration

Yiyu Zhang; Tianyi Liu; Zewen Sun; Zhe Chen; Xuandong Li; Zhiqiang Zuo

doi:10.1145/3597926.3598098

ISSTA2023顶会

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration

Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo

DOI 出版方

2023年份

3被引次数

摘要

Memory safety issues are the intrinsic diseases of C/C++ programs. Dynamic memory safety enforcement as the dominant approach has an advantage in high effectiveness, yet suffers from prohibitively high runtime overhead. Existing attempts to reduce the overhead are either labor-intensive, tightly dependent on specific hardware/compiler support, or poorly effective.

问问这篇 Paper

智能体会读完全文。

Lune 把这篇 Paper 索引到了每一个公式，引用它的顶会 Paper 也一样。你提问，回答直接引用原文。

核心论断
横向对比
局限

你的问题

智能体调用

Luneget_paper_fulltext

在 Lune 里问

免费开始，无需绑卡

它引用的顶会 Paper4

Understanding the Reproducibility of Crowd-reported Security VulnerabilitiesDongliang Mu, Alejandro Cuevas, Limin Yang, Hang Hu 等USENIX Security 2018 · 被引用 138 次
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ ProgramsJiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He 等OSDI 2021 · 被引用 38 次
No-FAT: Architectural Support for Low Overhead Memory Safety ChecksMohamed Tarek Ibn Ziad, Miguel A. Arroyo, Evgeny Manzhosov, Ryan Piersma 等ISCA 2021 · 被引用 26 次
Perspective: A Sensible Approach to Speculative Automatic ParallelizationSotiris Apostolakis, Ziyang Xu, Greg Chan, Simone Campanoni 等ASPLOS 2020 · 被引用 19 次

摘要

问问这篇 Paper

智能体会读完全文。

它引用的顶会 Paper4

相关 Paper