soot.jimple.toolkits.annotation |
Jimple array and null bounds check annotation classes
A toolkit to annotate classfiles with array and null bounds check information.
|
Java Source File Name | Type | Comment |
AvailExprTagger.java | Class | A body transformer that records avail expression
information in tags. |
DominatorsTagger.java | Class | A body transformer that records avail expression
information in tags. |
LineNumberAdder.java | Class | |