Inference of field initialization

PDF DOI 10.1145/1985793.1985826 dblp

Abstract

A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often manipulate partially-initialized objects, but they must do so with care. Furthermore, analyses must be aware of field initialization. For instance, proving the absence of null pointer dereferences or of division by zero, or proving that object invariants are satisfied, requires information about initialization.

BibTeX

@inproceedings{Spoto-Ernst:ICSE11,
  author    = {Fausto Spoto and
               Michael D. Ernst},
  title     = {Inference of field initialization},
  booktitle = {ICSE},
  pages     = {231--240},
  publisher = {{ACM}},
  year      = {2011},
}

Inference of field initialization

Abstract

Related papers