Package | Description |
---|---|
soot.jimple.spark.pag | |
soot.jimple.spark.solver |
Modifier and Type | Field and Description |
---|---|
protected Map<NewInstanceNode,Object> |
PAG.assignInstance |
protected Map<NewInstanceNode,Object> |
PAG.assignInstance |
protected Map<NewInstanceNode,Object> |
PAG.newInstanceInv |
protected Map<NewInstanceNode,Object> |
PAG.newInstanceInv |
Modifier and Type | Method and Description |
---|---|
NewInstanceNode |
PAG.makeNewInstanceNode(Value value,
Type type,
SootMethod method) |
NewInstanceNode |
PAG.makeNewInstanceNode(Value value,
Type type,
SootMethod method) |
Modifier and Type | Method and Description |
---|---|
Set<NewInstanceNode> |
PAG.assignInstanceSources() |
Set<NewInstanceNode> |
PAG.assignInstanceSources() |
Modifier and Type | Method and Description |
---|---|
boolean |
PAG.addAssignInstanceEdge(NewInstanceNode from,
VarNode to) |
boolean |
PAG.addAssignInstanceEdge(NewInstanceNode from,
VarNode to) |
boolean |
PAG.addNewInstanceEdge(VarNode from,
NewInstanceNode to) |
boolean |
PAG.addNewInstanceEdge(VarNode from,
NewInstanceNode to) |
Node[] |
PAG.assignInstanceLookup(NewInstanceNode key) |
Node[] |
PAG.assignInstanceLookup(NewInstanceNode key) |
boolean |
PAG.doAddAssignInstanceEdge(NewInstanceNode from,
VarNode to) |
boolean |
PAG.doAddAssignInstanceEdge(NewInstanceNode from,
VarNode to) |
boolean |
PAG.doAddNewInstanceEdge(VarNode from,
NewInstanceNode to) |
boolean |
PAG.doAddNewInstanceEdge(VarNode from,
NewInstanceNode to) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
PropIter.handleNewInstances(NewInstanceNode src) |
protected boolean |
PropIter.handleNewInstances(NewInstanceNode src) |