soot.jimple.spark.builder
Class ContextInsensitiveBuilder
java.lang.Object
|
+--soot.jimple.spark.builder.ContextInsensitiveBuilder
- public class ContextInsensitiveBuilder
- extends java.lang.Object
- implements Builder
A context insensitive pointer assignment graph builder.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
ContextInsensitiveBuilder
public ContextInsensitiveBuilder()
preJimplify
public void preJimplify()
- Specified by:
- preJimplify in interface Builder
setup
public PAG setup(SparkOptions opts)
- Creates an empty pointer assignment graph.
- Specified by:
- setup in interface Builder
getCallGraph
public soot.jimple.spark.callgraph.CallGraph getCallGraph()
- Specified by:
- getCallGraph in interface Builder
build
public void build()
- Fills in the pointer assignment graph returned by setup.
- Specified by:
- build in interface Builder
handleClass
protected void handleClass(SootClass c)