soot.jimple.spark.builder
Class ContextInsensitiveBuilder
java.lang.Object
|
+--soot.jimple.spark.builder.ContextInsensitiveBuilder
- All Implemented Interfaces:
- Builder
- 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
build
public PAG build(SparkOptions opts)
- Builds and returns a pointer assignment graph.
- Specified by:
build
in interface Builder
handleClass
protected void handleClass(SootClass c)
addMiscEdges
protected void addMiscEdges(SootClass c)
buildNative
protected void buildNative(SootMethod m)