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.


Constructor Summary
ContextInsensitiveBuilder()
           
 
Method Summary
 void build()
          Fills in the pointer assignment graph returned by setup.
 CallGraphBuilder getCallGraphBuilder()
           
protected  void handleClass(SootClass c)
           
 void preJimplify()
           
 PAG setup(SparkOptions opts)
          Creates an empty pointer assignment graph.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ContextInsensitiveBuilder

public ContextInsensitiveBuilder()
Method Detail

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

getCallGraphBuilder

public CallGraphBuilder getCallGraphBuilder()
Specified by:
getCallGraphBuilder 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)