|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Node | |
soot.jimple.spark | |
soot.jimple.spark.builder | |
soot.jimple.spark.pag | |
soot.jimple.spark.sets | |
soot.jimple.spark.solver |
Uses of Node in soot.jimple.spark |
Methods in soot.jimple.spark with parameters of type Node | |
protected void |
SparkTransformer.addTag(Host h,
Node n,
Map nodeToTag,
Tag unknown)
|
Uses of Node in soot.jimple.spark.builder |
Methods in soot.jimple.spark.builder that return Node | |
Node |
GlobalNodeFactory.caseDefaultClassLoader()
|
Node |
GlobalNodeFactory.caseMainClassNameString()
|
Node |
GlobalNodeFactory.caseMainThreadGroup()
|
Node |
GlobalNodeFactory.caseMainThread()
|
Node |
GlobalNodeFactory.caseArgv()
|
Node |
GlobalNodeFactory.caseNewInstance(VarNode cls)
|
Node |
GlobalNodeFactory.caseThrow()
|
Node |
MethodNodeFactory.getNode(Value v)
|
Node |
MethodNodeFactory.getNode()
|
Node |
MethodNodeFactory.caseThis()
|
Node |
MethodNodeFactory.caseParm(int index)
|
Node |
MethodNodeFactory.caseRet()
|
Node |
MethodNodeFactory.caseArray(VarNode base)
|
Uses of Node in soot.jimple.spark.pag |
Subclasses of Node in soot.jimple.spark.pag | |
class |
AllocDotField
Represents an alloc-site-dot-field node (Yellow) in the pointer assignment graph. |
class |
AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
class |
ClassConstantNode
Represents an allocation site node the represents a known java.lang.Class object. |
class |
ContextVarNode
Represents a simple variable node with context. |
class |
FieldRefNode
Represents a field reference node (Red) in the pointer assignment graph. |
class |
GlobalVarNode
Represents a simple variable node (Green) in the pointer assignment graph that is not associated with any particular method invocation. |
class |
LocalVarNode
Represents a simple variable node (Green) in the pointer assignment graph that is specific to a particular method invocation. |
class |
StringConstantNode
Represents an allocation site node the represents a constant string. |
class |
ValNode
Represents a simple of field ref node (Green or Red) in the pointer assignment graph. |
class |
VarNode
Represents a simple variable node (Green) in the pointer assignment graph. |
Fields in soot.jimple.spark.pag declared as Node | |
protected Node |
Node.replacement
|
protected static Node[] |
PAG.EMPTY_NODE_ARRAY
|
Methods in soot.jimple.spark.pag that return Node | |
Node |
FieldRefNode.getReplacement()
|
Node |
MethodPAG.parameterize(Node n,
Context varNodeParameter)
|
Node |
Node.getReplacement()
If this node has been merged with another, returns the new node to be used as the representative of this node; returns this if the node has not been merged. |
protected Node[] |
PAG.lookup(Map m,
Object key)
|
Node[] |
PAG.simpleLookup(VarNode key)
|
Node[] |
PAG.simpleInvLookup(VarNode key)
|
Node[] |
PAG.loadLookup(FieldRefNode key)
|
Node[] |
PAG.loadInvLookup(VarNode key)
|
Node[] |
PAG.storeLookup(VarNode key)
|
Node[] |
PAG.storeInvLookup(FieldRefNode key)
|
Node[] |
PAG.allocLookup(AllocNode key)
|
Node[] |
PAG.allocInvLookup(VarNode key)
|
Methods in soot.jimple.spark.pag with parameters of type Node | |
void |
MethodPAG.addInternalEdge(Node src,
Node dst)
|
void |
MethodPAG.addInEdge(Node src,
Node dst)
|
void |
MethodPAG.addOutEdge(Node src,
Node dst)
|
Node |
MethodPAG.parameterize(Node n,
Context varNodeParameter)
|
void |
Node.mergeWith(Node other)
Merge with the node other. |
boolean |
PAG.addEdge(Node from,
Node to)
Adds an edge to the graph, returning false if it was already there. |
protected boolean |
PAG.addToMap(Map m,
Node key,
Node value)
|
protected void |
PAGDumper.dumpNode(Node n,
PrintWriter out)
|
Uses of Node in soot.jimple.spark.sets |
Methods in soot.jimple.spark.sets with parameters of type Node | |
boolean |
BitPointsToSet.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
BitPointsToSet.contains(Node n)
Returns true iff the set contains n. |
boolean |
DoublePointsToSet.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
DoublePointsToSet.contains(Node n)
Returns true iff the set contains n. |
boolean |
EmptyPointsToSet.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
EmptyPointsToSet.contains(Node n)
Returns true iff the set contains n. |
boolean |
HashPointsToSet.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
HashPointsToSet.contains(Node n)
Returns true iff the set contains n. |
boolean |
HybridPointsToSet.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
HybridPointsToSet.contains(Node n)
Returns true iff the set contains n. |
protected boolean |
HybridPointsToSet.fastAdd(Node n)
|
abstract void |
P2SetVisitor.visit(Node n)
|
abstract boolean |
PointsToSetInternal.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
abstract boolean |
PointsToSetInternal.contains(Node n)
Returns true iff the set contains n. |
boolean |
SharedPointsToSet.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
SharedPointsToSet.contains(Node n)
Returns true iff the set contains n. |
protected boolean |
SharedPointsToSet.fastAdd(Node n)
|
boolean |
SortedArraySet.add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
SortedArraySet.contains(Node n)
Returns true iff the set contains n. |
Uses of Node in soot.jimple.spark.solver |
Methods in soot.jimple.spark.solver with parameters of type Node | |
protected void |
Checker.checkAll(Node container,
PointsToSetInternal nodes,
Node upstream)
|
protected void |
Checker.checkNode(Node container,
Node n,
Node upstream)
|
protected void |
MergeChecker.checkAll(Node container,
PointsToSetInternal nodes,
Node upstream)
|
protected void |
MergeChecker.checkNode(Node container,
Node n,
Node upstream)
|
void |
OnFlyCallGraph.mergedWith(Node n1,
Node n2)
Node uses this to notify PAG that n2 has been merged into n1. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |