Uses of Class
gov.nasa.jpf.vm.serialize.FilteringSerializer

Packages that use FilteringSerializer

Package	Description
gov.nasa.jpf.vm.serialize

Uses of FilteringSerializer in gov.nasa.jpf.vm.serialize

Subclasses of FilteringSerializer in gov.nasa.jpf.vm.serialize

Modifier and Type	Class and Description
class	AdaptiveSerializer a CG type adaptive, canonicalizing & filtering serializer that is an under-approximation mostly aimed at finding data races and deadlocks in programs with a large number of scheduling points (= thread choices) This came to bear by accidentally discovering that JPF often seems to finds concurrency defects by just serializing the thread states, their topmost stack frames and the objects directly referenced from there.
class	CFSerializer a FilteringSerializer that performs on-the-fly heap canonicalization to achieve heap symmetry.
class	DebugCFSerializer a CFSerializer that stores the serialized program state in a readable/diffable format.
class	DebugFilteringSerializer a FilteringSerializer that stores the serialized program state in a readable/diffable format.
class	DynamicAbstractionSerializer a serializer that uses Abstraction objects stored as field attributes to obtain the values to hash.
class	TopFrameSerializer even more aggressive under-approximation than AdaptiveSerializer.