Efficient hybrid typestate analysis by determining continuation-equivalent states

Abstract

Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have proposed a hybrid approach that uses residual monitors to signal property violations at runtime.

BibTeX

@inproceedings{Bodden:ICSE10,
  author    = {Eric Bodden},
  title     = {Efficient hybrid typestate analysis by determining continuation-equivalent states},
  booktitle = {ICSE (Part I)},
  pages     = {5--14},
  publisher = {{ACM}},
  year      = {2010},
}

Efficient hybrid typestate analysis by determining continuation-equivalent states

Abstract

Related papers