arrow
Return

KALD: Detecting Direct Pointer Disclosure Vulnerabilities

delete2019-01-01
delete4
delete
OA
AI
B
Brian Belleville *
W
Wenbo Shen
S
Stijn Volckaert
A
Ahmed M. Azab
M
Michael Franz
DOI:10.1109/TDSC.2019.2915829delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Modern operating system kernels deploy Kernel Address Space Layout Randomization (KASLR) to mitigate control-flow hijacking attacks. KASLR randomizes the base addresses of the kernel's code and data segments. However, it randomizes both with a single offset and does not randomize the internal layout of either of these segments, so relative addresses remain known to adversaries. If the kernel discloses a single code or global data pointer, an adversary can therefore infer the entire layout of the kernel's code segment and bypass KASLR. In this paper, we present Kernel Address Leak Detector (KALD), a tool that finds direct disclosure vulnerabilities by statically analyzing the kernel source code. KALD can analyze the source code of modern operating system kernels and find previously unreported leaks. KALD compiles a list of functions that can leak information to user-space accessible locations, and it uses the results of a points-to analysis to determine whether individual invocations of such functions can disclose kernel pointers. We show that KALD successfully detects several direct disclosure vulnerabilities in the Linux kernel and that it is flexible enough to be useful in practice.
Keywords:
Kernel
Layout
Linux
Smart phones
Tools
Memory management
Program analysis
static analysis
address leakage
security
operating systems security
LLVM
Linux kernel
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Dependable and Secure Computing cover
IEEE Transactions on Dependable and Secure Computing
IF:
7.5
Papers:
2.4K
Citations:
9.6K

Organization

K
KU Leuven
Scholars:
5.7W
Papers: 5.2W
Citations: 8.1W
University of California System cover
University of California System
Scholars:
37.5W
Papers: 33.7W
Citations: 6.6K
G
Google Incorporated
Scholars:
3.5K
Papers: 1.8K
Citations: 8
Z
zhejiang university
Scholars:
17.5W
Papers: 12.0W
Citations: 152
researcher View more organizations