OpenCL programs typically employ complex storage models and diverse data types as well
as manifest various memory access patterns, which make it challenging to detect the …

Linux kernel vulnerability reproduction is a critical task in system security. To reproduce a
kernel vulnerability, the vulnerable environment and the Proof of Concept (PoC) program …

Code reuse is widespread in software development. It brings a heavy spread of
vulnerabilities, threatening software security. Unfortunately, with the development and …

The monolithic nature of modern OS kernels leads to a constant stream of bugs being
discovered. It is often unclear which of these bugs are worth fixing, as only a subset of them …

Device drivers are an essential part in modern Unix-like systems to handle operations on
physical devices, from hard disks and printers to digital cameras and Bluetooth speakers …

Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To
support these diverse computing environments, the Linux kernel provides extensibility and …

Buffer overflows are a common source of program crashes, data corruption, and security
exploits. While many tools exist to find these issues in CPU programs, buffer overflows are …

Detecting vulnerabilities in source code using deep learning models is emerging as a
valuable research area. The key issue in using deep learning to detect vulnerabilities is the …

A common type of memory error in the Linux kernel is using uninitialized variables
(uninitialized use). Uninitialized uses not only cause undefined behaviors but also impose a …

Vulnerability fixing is time-consuming, hence, not all of the discovered vulnerabilities can be
fixed timely. In reality, developers prioritize vulnerability fixing based on exploitability. Large …