Generalized typestate checking using set interfaces and pluggable analyses

We present a generalization of standard typestate systems in which the typestate of each object is determined by its membership in a collection of abstract typestate sets. This generalization suppo...