Forskning ved Københavns Universitet - Københavns Universitet

Forside

An automated approach for finding variable-constant pairing bugs

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  • Julia Lawall
  • David Lo
Named constants are used heavily in operating systems code, both as
internal flags and in interactions with devices.  Decision making within an
operating system thus critically depends on the correct usage of these
values.  Nevertheless, compilers for the languages typically used in
implementing operating systems provide little support for checking the
usage of named constants.  This affects correctness, when a constant is
used in a context where its value is meaningless, and software maintenance,
when a constant has the right value for its usage context but the wrong
name.

We propose a hybrid program-analysis and data-mining based approach
to identify the uses of named constants and to identify anomalies in
these uses.  We have applied our approach to a recent version of the Linux
kernel and have found a number of bugs affecting both correctness and
software maintenance.  Many of these bugs have been validated by the Linux
developers.
OriginalsprogEngelsk
TitelASE'10 : Proceedings of the IEEE/ACM International conference on Automated Software Engineering
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato2010
Sider103-112
ISBN (Trykt)978-1-4503-0116-9
DOI
StatusUdgivet - 2010
Begivenhed25th IEEE/ACM International Conference on Automated Software Engineering - Antwerp, Belgien
Varighed: 20 sep. 201024 sep. 2010
Konferencens nummer: 25

Konference

Konference25th IEEE/ACM International Conference on Automated Software Engineering
Nummer25
LandBelgien
ByAntwerp
Periode20/09/201024/09/2010

ID: 22706103