| Package | Description |
|---|---|
| soot.jimple.toolkits.annotation.purity |
| Modifier and Type | Class and Description |
|---|---|
class |
PurityGlobalNode
The GBL node.
|
class |
PurityMethodNode
Kind of Stmt inside node, but global to the method.
|
class |
PurityParamNode
A node representing a method parameter.
|
class |
PurityStmtNode
A node created dynamically and attached to a statement Stmt.
|
class |
PurityThisNode
A node representing the this parameter.
|
| Modifier and Type | Field and Description |
|---|---|
protected MultiMap<PurityNode,PurityEdge> |
PurityGraph.backEdges |
protected MultiMap<PurityNode,Local> |
PurityGraph.backLocals |
protected MultiMap<PurityNode,PurityEdge> |
PurityGraph.edges |
protected Set<PurityNode> |
PurityGraph.globEscape |
protected MultiMap<Local,PurityNode> |
PurityGraph.locals |
protected MultiMap<PurityNode,String> |
PurityGraph.mutated |
protected Set<PurityNode> |
PurityGraph.nodes |
protected Set<PurityNode> |
PurityGraph.paramNodes |
protected Set<PurityNode> |
PurityGraph.ret |
| Modifier and Type | Method and Description |
|---|---|
PurityNode |
PurityEdge.getSource() |
PurityNode |
PurityEdge.getTarget() |
| Modifier and Type | Method and Description |
|---|---|
protected Set<PurityNode> |
PurityGraph.getEscaping() |
| Modifier and Type | Method and Description |
|---|---|
protected int |
PurityGraph.internalParamStatus(PurityNode p) |
protected void |
PurityGraph.internalPassNode(PurityNode node,
Set<PurityNode> dest,
boolean consider_inside) |
protected boolean |
PurityGraph.localsPut(Local local,
PurityNode node) |
protected void |
PurityGraph.mergeNodes(PurityNode src,
PurityNode dst)
Utility function to merge node src into dst; src is removed
|
protected void |
PurityGraph.removeNode(PurityNode n)
Utility function to remove a node & all adjacent edges
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
PurityGraph.internalPassEdges(Set<PurityEdge> toColor,
Set<PurityNode> dest,
boolean consider_inside) |
protected void |
PurityGraph.internalPassNode(PurityNode node,
Set<PurityNode> dest,
boolean consider_inside) |
protected void |
PurityGraph.internalPassNodes(Set<PurityNode> toColor,
Set<PurityNode> dest,
boolean consider_inside) |
protected void |
PurityGraph.internalPassNodes(Set<PurityNode> toColor,
Set<PurityNode> dest,
boolean consider_inside) |
protected boolean |
PurityGraph.localsPutAll(Local local,
Set<PurityNode> nodes) |
Copyright © 2024 Soot OSS. All rights reserved.