Package | Description |
---|---|
soot.jimple.toolkits.annotation.purity |
Modifier and Type | Field and Description |
---|---|
PurityGraph |
PurityGraphBox.g |
PurityGraph |
PurityGraphBox.g |
Modifier and Type | Method and Description |
---|---|
static PurityGraph |
PurityGraph.conservativeGraph(SootMethod m,
boolean withEffect)
Conservative constructor for unanalysable calls.
|
static PurityGraph |
PurityGraph.conservativeGraph(SootMethod m,
boolean withEffect)
Conservative constructor for unanalysable calls.
|
static PurityGraph |
PurityGraph.freshGraph(SootMethod m)
Special constructor for "pure" methods returning a fresh object.
|
static PurityGraph |
PurityGraph.freshGraph(SootMethod m)
Special constructor for "pure" methods returning a fresh object.
|