An automated approach for finding variable-constant pairing bugs

Abstract

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.

BibTeX

@inproceedings{Lawall-Lo:ASE10,
  author    = {Julia Lawall and
               David Lo},
  title     = {An automated approach for finding variable-constant pairing bugs},
  booktitle = {ASE},
  pages     = {103--112},
  publisher = {{ACM}},
  year      = {2010},
}

An automated approach for finding variable-constant pairing bugs

Abstract

Related papers