arrow
Return

When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs

delete2023-01-01
delete0
delete
OA
AI
O
Oscar Llorente-Vazquez *
I
Igor Santos-Grueiro
P
Pablo G. Bringas
DOI:10.1109/ACCESS.2023.3272833delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Concurrent programs are widespread in modern systems. They make better use of processor resources but inevitably introduce a new set of problems in terms of reliability and security. Concurrency bugs usually lead to program crashes and unexpected behavior, and are an active research topic. From a security perspective, concurrency vulnerabilities are those that exhibit harmful behavior exclusively in concurrent executions. They can take place in a diverse range of environments, such as in operating system kernels, file system operations, or general-purpose multithreaded programs. A particular characteristic of concurrency is that it not only introduces new problems, but also enables traditional vulnerabilities to be triggered in concurrent-specific ways. Those that lead to dangerous security vulnerabilities usually cause memory corruption, a strong and flexible primitive for exploitation, and are known as concurrency memory corruption vulnerabilities. In this paper, we systematically analyze concurrency vulnerabilities in C and C++ programs, their exploitation and their detection, focusing on concurrency memory corruption vulnerabilities. We organize previous work on concurrency bug characteristics and detection, and highlight the differences in relation to vulnerabilities. Then, we examine the existence of concurrency vulnerabilities in real-world programs by searching the CVE database and point out a growing trend. Further, we analyze and compare existing detection approaches towards concurrency memory corruption.
Keywords:
Concurrent computing
Instruction sets
Computer bugs
Testing
Programming
Behavioral sciences
Synchronization
Concurrency memory corruption
concurrency vulnerabilities
race condition

Journal

IEEE Access cover
IEEE Access
IF:
3.6
Papers:
9.8W
Citations:
29.4W

Organization

U
University of Deusto
Scholars:
1.4K
Papers: 1.2K
Citations: 2
M
mondragon unibertsitatea
Scholars:
1.2K
Papers: 766
Citations: 4