| Package and Description |
|---|
| soot.jbco |
| soot.jbco.bafTransformations |
| soot.jbco.gui |
| soot.jbco.jimpleTransformations |
| soot.jbco.util |
| Interface and Description |
|---|
| heros.solver.LinkedNode
Use
JoinHandlingNode instead. |
| Field and Description |
|---|
| soot.jbco.IJbcoTransform.debug |
| soot.G.out |
| soot.jbco.IJbcoTransform.out |
| soot.jbco.IJbcoTransform.output |
| Constructor and Description |
|---|
| soot.tagkit.AnnotationTag(String, int) |
| soot.jimple.toolkits.annotation.nullcheck.BranchedRefVarsAnalysis(UnitGraph)
THIS IS KNOWN TO BE BUGGY. USE
NullnessAnalysis INSTEAD! |
| soot.toolkits.graph.PseudoTopologicalOrderer(boolean) |
| soot.toolkits.graph.ReversePseudoTopologicalOrderer() |