Coccinelle: 10 years of automated evolution in the Linux kernel
The Coccinelle C-program matching and transformation tool was first released in 2008 to
facilitate specification and automation in the evolution of Linux kernel code. The novel …
facilitate specification and automation in the evolution of Linux kernel code. The novel …
How {Double-Fetch} situations turn into {Double-Fetch} vulnerabilities: A study of double fetches in the linux kernel
We present the first static approach that systematically detects potential double-fetch
vulnerabilities in the Linux kernel. Using a pattern-based analysis, we identified 90 double …
vulnerabilities in the Linux kernel. Using a pattern-based analysis, we identified 90 double …
Impact of tool support in patch construction
In this work, we investigate the practice of patch construction in the Linux kernel
development, focusing on the differences between three patching processes:(1) patches …
development, focusing on the differences between three patching processes:(1) patches …
{DSAC}: Effective Static Analysis of {Sleep-in-Atomic-Context} Bugs in Kernel Modules
In a modern OS, kernel modules often use spinlocks and interrupt handlers to monopolize a
CPU core for executing concurrent code in atomic context. In this situation, if the kernel …
CPU core for executing concurrent code in atomic context. In this situation, if the kernel …
Automating program transformation with Coccinelle
J Lawall, G Muller - NASA Formal Methods Symposium, 2022 - Springer
Automating Program Transformation with Coccinelle | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
[HTML][HTML] Behind the last line of defense: Surviving soc faults and intrusions
IP Gouveia, M Völp, P Esteves-Verissimo - Computers & Security, 2022 - Elsevier
Today, leveraging the enormous modular power, diversity and flexibility of manycore
systems-on-a-chip (SoCs) requires careful orchestration of complex and heterogeneous …
systems-on-a-chip (SoCs) requires careful orchestration of complex and heterogeneous …
Improving pattern tracking with a language-aware tree differencing algorithm
Tracking code fragments of interest is important in monitoring a software project over
multiple versions. Various approaches, including our previous work on Herodotos, exploit …
multiple versions. Various approaches, including our previous work on Herodotos, exploit …
DCNS: Automated detection of conservative non-sleep defects in the Linux kernel
For waiting, the Linux kernel offers both sleep-able and non-sleep operations. However,
only non-sleep operations can be used in atomic context. Detecting the possibility of …
only non-sleep operations can be used in atomic context. Detecting the possibility of …
Jmake: Dependable compilation for kernel janitors
The Linux kernel is highly configurable, and thus, in principle, any line of code can be
included or excluded from the compiled kernel based on configuration operations …
included or excluded from the compiled kernel based on configuration operations …
Effective detection of sleep-in-atomic-context bugs in the Linux kernel
Atomic context is an execution state of the Linux kernel in which kernel code monopolizes a
CPU core. In this state, the Linux kernel may only perform operations that cannot sleep, as …
CPU core. In this state, the Linux kernel may only perform operations that cannot sleep, as …