|
Class Summary |
| AbstractAnalysisStage |
An abstract analysis Stage that provides base functionality such as updating shadows and running assertion checks. |
| CallGraphAbstraction |
This stage does not actually perform any real analysis. |
| FlowInsensitiveAnalysis |
This stage applies a flow-insensitive analysis to all shadows still remaining at this stage. |
| IntraproceduralAnalysis |
IntraproceduralAnalysis: This analysis propagates tracematch
automaton states through the method. |
| QuickCheck |
This check determines if a tracematch in the system can ever match, solely on the number of advice applications
that occured during weaving. |
| TMShadowTagger |
This class recovers tracematch shadows by applying an intraprocedural flow analysis. |
| TMShadowTagger.SymbolShadowTag |
A tag that holds a mapping from tracematches to SymbolShadowes that
match at the annotated statement for that tracematch. |