Formalizing Stack Safety as a Security Property

Formalizing Stack Safety as a Security Property
复制标题

DOI：
10.1109/csf57540.2023.00037
复制
发表时间：
2021-05
期刊：
2023 IEEE 36th Computer Security Foundations Symposium (CSF)
影响因子：
--
通讯作者：
S. Anderson;Roberto Blanco;Leonidas Lampropoulos;B. Pierce;A. Tolmach
S. Anderson;Roberto Blanco;Leonidas Lampropoulos;B. Pierce;A. Tolmach
中科院分区：
其他
文献类型：
--
作者：
S. Anderson;Roberto Blanco;Leonidas Lampropoulos;B. Pierce;A. Tolmach

文献摘要

相似文献

一词用来描述各种编译器，运行时和硬件机制来保护堆栈内存，与“堆”不同，ISA级别的堆栈与单个高级语言概念不符：不同的编译器使用它。以不同的方式来支持各种语言的程序和功能抽象机制。
The term stack safety is used to describe a variety of compiler, runtime, and hardware mechanisms for protecting stack memory. Unlike “the heap,” the ISA-level stack does not correspond to a single high-level language concept: different compilers use it in different ways to support procedural and functional abstraction mechanisms from a wide range of languages. This protean nature makes it difficult to nail down what it means to correctly enforce stack safety.