Work

When stack protection does not protect the stack?

Year: 2016

Type: article

Abstract: The majority of software vulnerabilities originate from buffer overflow. Techniques to eliminate buffer overflows and limit their damage include secure programming, source code audit, binary code audit, static and dynamic code generation features. Modern compilers implement compile-time and execution time protection schemes, that include variables reordering, inserting canary value, and separate stack for return addresses. Our research is targeted to finding the breaches in the compiler protection methods. We tested MSVC, gcc, and clang and found that two of these compilers have flaws that allow exploiting buffer overwrite under certain conditions.

Source: Proceedings of the Institute for System Programming of RAS

DOI: 10.15514/ispras-2016-28(5)-3

Authors: P. Dovgalyuk, V. Makarov

Institution: Yaroslav-the-Wise Novgorod State University

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Russian Foundation for Basic Research

Awards: G1643071122, G5975257630