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.
PurityGlobalNode The GBL node.
PurityGraph Modifications with respect to the article: - "unanalizable call" are treated by first constructing a conservative calee graph where all parameters escape globally and return points to the global node, and then applying the standard analysable call construction - unanalysable calls add a mutation on the global node; the "field" is named "outside-world" and models the mutation of any static field, but also side-effects by native methods, such as I/O, that make methods impure (see below).
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.