Package soot.jimple.toolkits.annotation
A toolkit to annotate classfiles with array and null bounds check information.
-
Class Summary Class Description AvailExprTagger A body transformer that records avail expression information in tags.DominatorsTagger A body transformer that records avail expression information in tags.LineNumberAdder