Uses of Package
soot.jimple.toolkits.annotation.purity

Packages that use soot.jimple.toolkits.annotation.purity

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.jimple.toolkits.annotation.purity

Classes in soot.jimple.toolkits.annotation.purity used by soot

Class and Description
PurityAnalysis Purity analysis phase.

Classes in soot.jimple.toolkits.annotation.purity used by soot.jimple.toolkits.annotation.purity

Class and Description
AbstractInterproceduralAnalysis Inter-procedural iterator skeleton for summary-based analysis A "summary" is an abstract element associated to each method that fully models the effect of calling the method.
PurityAnalysis Purity analysis phase.
PurityEdge An edge in a purity graph.
PurityGlobalNode The GBL node.
PurityGraph Purity graphs are mutable structures that are updated in-place.
PurityGraphBox Simple box class that encapsulates a reference to a PurityGraph.
PurityNode Interface shared by all kinds of nodes in a PurityGraph.
PurityParamNode A node representing a method parameter.
PurityThisNode A node representing the this parameter.
SootMethodFilter Allows specifying which SootMethod you want to analyse in a AbstractInterproceduralAnalysis.