Published In

IEEE

Document Type

Pre-Print

Publication Date

8-2023

Subjects

Computer security, Computer security -- Evaluation -- Methodology

Abstract

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.

Rights

Copyright (c) 2023 The Authors

Description

This is the author’s version of a work that was accepted for publication in IEEE. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in IEEE.

Locate the Document

10.1109/CSF57540.2023.00037

DOI

10.1109/CSF57540.2023.00037

Persistent Identifier

https://archives.pdx.edu/ds/psu/40811

Share

COinS