Package com.ibm.wala.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.