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

Julia Lawall, Julia Lawall, Nicolas Palix, Rene Rydhof Hansen, Gilles Muller

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review


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.
TitelProceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09)
Antal sider10
ForlagIEEE Computer Society Press
ISBN (Trykt)978-1-4244-4422-9
StatusUdgivet - 2009
BegivenhedConference on Dependable Systems and Networks (DSN'09) - Estoril, Portugal
Varighed: 29 jun. 20092 jul. 2009
Konferencens nummer: 39


KonferenceConference on Dependable Systems and Networks (DSN'09)

Fingeraftryk Dyk ned i forskningsemnerne om 'WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code'. Sammen danner de et unikt fingeraftryk.