WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code

Julia Lawall, University of Copenhagen
Julien Brunel, University of Copenhagen
Nicolas Palix, University of Copenhagen
René Rydhof Hansen, Aalborg University
Henrik Stuart, University of Copenhagen
Gilles Muller, Ecole des Mines de Nantes

Tools

Search
Instantiate
MakeBugReport
MakeSearch
Coccinelle

Case Studies

Inconsistent error checks
Allocation and deallocation functions
Bug detection inspired by the netif example