.png){kind=icon}
Return
Safer Linux Kernel Modules Using the D Programming Language
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2022.3229461.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Since its creation, the Linux kernel has gained international recognition and has been employed on a large range of devices: servers, supercomputers, smart devices and embedded systems. Given its popularity, the security of the kernel has become a critical research topic. As a consequence, a wide range of third party tools were created to detect bugs in its implementation. However, new vulnerabilities are discovered and exploited every year. The explanation for this phenomenon lies in the fact that the programming language that is used for the kernel implementation, C, is designed to allow unsafe memory operations. In this paper, we show that it is possible to incrementally transition the kernel code from C to a memory safe programming language, D, by porting and integrating a device driver. In addition, we propose a series of code transformations that allow the D compiler to reason about the safety of certain memory operations. Our implementation increases the security guarantees of the kernel without incurring any performance penalties.
Keywords:
Memory safety
Linux kernel
driver development
security
D programming language
Journal
IF:
3.6
Papers:
9.8W
Citations:
29.4W
Organization
Cited Papers
ShareSavePharmacogenomic identification of small molecules for lineage specific manipulation of subventricular zone germinal activity.png)
PLOS Biology
OAAI
PLOS BiologyIF0
OAAIShareSave