Package com.ibm.wala.shrike.shrikeBT.info

Class Summary

Class	Description
InstructionTypeCounter	This method annotation counts the number of instructions of each type (according to each Instruction subclass).
LocalAllocator	This method annotation parcels out fresh local variables for use as temporaries by instrumentation code.
ThisAssignmentChecker	This method annotation checks to see whether "this" is assigned to by the method.