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 …

Context As developing high quality software becomes increasingly challenging because of
the explosive growth of scale and complexity, bugs become inevitable in software systems …

In August 2011, Linux entered its third decade. Ten years before, Chou et al. published a
study of faults found by applying a static analyzer to Linux versions 1.0 through 2.4. 1. A …

Drivers are significant components of the operating systems (OSs), and they run in kernel
mode. Generally, drivers have many errors to handle, and the functions called in the normal …

A unbearable amount of textual information accessible in electronic form and need to deliver
correct answer to user question is important task in Question Answering System (QAS) …

Software is continually evolving, to fix bugs and add new features. Industry users, however,
often value stability, and thus may not be able to update their code base to the latest …

Automating Program Transformation with Coccinelle | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …

Generally, drivers have many errors to handle, and the functions called in the normal
execution paths and error handling paths are in pairs, which are named as paired functions …

Drivers use kernel extension functions to manage devices, and there are often many rules
on how they should be used. Among the rules, utilization of paired functions, which means …

摘要内核扩展函数以接口的形式提供给驱动, 用于管理设备和申请相关的资源.
这些接口中存在大量的顺序依赖规则, 如自旋锁必须经过初始化才能加锁, 然后才能解锁; …