Package abc.tm.weaving.weaver.tmanalysis.query

Interface Summary

PathInfoFinder.StatePredicate

A predicate over a tracematch state machine state.

Class Summary

ConsistentShadowGroupFinder	This class represents an integral part of the FlowInsensitiveAnalysis.
PathInfoFinder	Computes the labels of all edges that dominate a final state in the state machine.
PathInfoFinder.PathInfo	A path info holds a bag of dominating labels and a set of skip-labels.
ReachableShadowFinder	Finds all reachable shadows in a callgraph.
ShadowGroup	A shadow group is a group of shadows with a consistent vriable binding.
ShadowGroupRegistry	A global registry for shadow groups.
ShadowRegistry	A global registry of all shadows in the program.
SymbolShadowWithPTS	Decorator implementing a combination of a SymbolShadow with PointsToSets.
WeavableMethods	Provides functionality to list all weavable methods, i.e.