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

Julia Laetitia Lawall; Julien Pierre Manuel Brunel; Rene Rydhof Hansen; Henrik Stuart; Gilles Muller

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

Julia Laetitia Lawall, Julien Pierre Manuel Brunel, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller

Department of Computer Science

211 Downloads (Pure)

Abstract

Although a number of approaches to finding bugs in systems code have been proposed, bugs still remain to be found. Current approaches have emphasized scalability more than usability, and as a result it is difficult to relate the results to particular patterns found in the source code and to control the tools to be able to find specific kinds of bugs. In this paper, we propose a declarative approach based on a control-flow based program search engine. Our approach is WYSIWIB (What You See Is Where It Bugs), since the programmer is able to express specifications for protocol and bug finding using a syntax that is close to that of ordinary C code. Search specifications, called semantic matches, can be easily tailored so as to either eliminate false positives or catch more potential bugs. We introduce our approach by describing three case studies which have allowed us to find 395 bugs.

Original language	English
Place of Publication	Nantes
Pages	1-14
Number of pages	14
Publication status	Published - 2008

Access to Document

EMN08-1-INFOFinal published version, 291 KB

http://hal.archives-ouvertes.fr/hal-00294004/fr/

Cite this

@techreport{34045fd0cc1e11dd9473000ea68e967b,

title = "WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code",

abstract = "Although a number of approaches to finding bugs in systems code have been proposed, bugs still remain to be found. Current approaches have emphasized scalability more than usability, and as a result it is difficult to relate the results to particular patterns found in the source code and to control the tools to be able to find specific kinds of bugs. In this paper, we propose a declarative approach based on a control-flow based program search engine. Our approach is WYSIWIB (What You See Is Where It Bugs), since the programmer is able to express specifications for protocol and bug finding using a syntax that is close to that of ordinary C code. Search specifications, called semantic matches, can be easily tailored so as to either eliminate false positives or catch more potential bugs. We introduce our approach by describing three case studies which have allowed us to find 395 bugs.",

author = "Lawall, {Julia Laetitia} and Brunel, {Julien Pierre Manuel} and Hansen, {Rene Rydhof} and Henrik Stuart and Gilles Muller",

year = "2008",

language = "English",

pages = "1--14",

type = "WorkingPaper",

}

TY - UNPB

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

AU - Lawall, Julia Laetitia

AU - Brunel, Julien Pierre Manuel

AU - Hansen, Rene Rydhof

AU - Stuart, Henrik

AU - Muller, Gilles

PY - 2008

Y1 - 2008

N2 - Although a number of approaches to finding bugs in systems code have been proposed, bugs still remain to be found. Current approaches have emphasized scalability more than usability, and as a result it is difficult to relate the results to particular patterns found in the source code and to control the tools to be able to find specific kinds of bugs. In this paper, we propose a declarative approach based on a control-flow based program search engine. Our approach is WYSIWIB (What You See Is Where It Bugs), since the programmer is able to express specifications for protocol and bug finding using a syntax that is close to that of ordinary C code. Search specifications, called semantic matches, can be easily tailored so as to either eliminate false positives or catch more potential bugs. We introduce our approach by describing three case studies which have allowed us to find 395 bugs.

AB - Although a number of approaches to finding bugs in systems code have been proposed, bugs still remain to be found. Current approaches have emphasized scalability more than usability, and as a result it is difficult to relate the results to particular patterns found in the source code and to control the tools to be able to find specific kinds of bugs. In this paper, we propose a declarative approach based on a control-flow based program search engine. Our approach is WYSIWIB (What You See Is Where It Bugs), since the programmer is able to express specifications for protocol and bug finding using a syntax that is close to that of ordinary C code. Search specifications, called semantic matches, can be easily tailored so as to either eliminate false positives or catch more potential bugs. We introduce our approach by describing three case studies which have allowed us to find 395 bugs.

M3 - Working paper

SP - 1

EP - 14

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

CY - Nantes

ER -

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

Abstract

Access to Document

Fingerprint

Cite this