During system call execution, it is common for operating system kernels to read userspace memory multiple times (multi-reads). A critical bug may exist if the fetched userspace memory is subject to change across these reads, i.e., a race condition, which is known as a double-fetch bug. Prior works have attempted to detect these bugs both statically and dynamically. However, due to their improper assumptions and imprecise definitions regarding double-fetch bugs, their multiread detection is inherently limited and suffers from significant false positives and false negatives. For example, their approach is unable to support device emulation, inter-procedural analysis, loop handling, etc. More importantly, they completely leave the t...
AbstractDespite the growing need for customized operating system kernels for embedded devices, kerne...
With the development of multicore hardware, concurrent, parallel and multicore software are becoming...
International audienceIn Linux device drivers, use-after-free (UAF) bugs can cause system crashes an...
International audienceDouble-fetch bugs are a special type of race condition, where an unprivileged ...
Double-fetch bugs are a plague across all major operating system kernels. They occur when data is fe...
Kernel concurrency bugs are notoriously difficult to find during testing since they are only trigger...
Many software systems today are concurrent programs as multi-core pro-cessors become popular. Howeve...
The monolithic nature of modern OS kernels leads to a constant stream of bugs being discovered autom...
This paper received a Best Paper Award at EuroSys 2023International audienceKnowing which functions ...
As computing hardware moves to multi-core systems, future software needs to be parallelized in order...
While there is a large body of work on analyzing concurrency related software bugs and developing te...
Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To support these...
Just like bugs in single-threaded programs can lead to vulnerabilities, bugs in multithreaded progra...
Multicore and Internet cloud systems have been widely adopted in recent years and have resulted in t...
Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of...
AbstractDespite the growing need for customized operating system kernels for embedded devices, kerne...
With the development of multicore hardware, concurrent, parallel and multicore software are becoming...
International audienceIn Linux device drivers, use-after-free (UAF) bugs can cause system crashes an...
International audienceDouble-fetch bugs are a special type of race condition, where an unprivileged ...
Double-fetch bugs are a plague across all major operating system kernels. They occur when data is fe...
Kernel concurrency bugs are notoriously difficult to find during testing since they are only trigger...
Many software systems today are concurrent programs as multi-core pro-cessors become popular. Howeve...
The monolithic nature of modern OS kernels leads to a constant stream of bugs being discovered autom...
This paper received a Best Paper Award at EuroSys 2023International audienceKnowing which functions ...
As computing hardware moves to multi-core systems, future software needs to be parallelized in order...
While there is a large body of work on analyzing concurrency related software bugs and developing te...
Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To support these...
Just like bugs in single-threaded programs can lead to vulnerabilities, bugs in multithreaded progra...
Multicore and Internet cloud systems have been widely adopted in recent years and have resulted in t...
Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of...
AbstractDespite the growing need for customized operating system kernels for embedded devices, kerne...
With the development of multicore hardware, concurrent, parallel and multicore software are becoming...
International audienceIn Linux device drivers, use-after-free (UAF) bugs can cause system crashes an...