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.


Constructor Summary
ContextInsensitiveBuilder()
           
 
Method Summary
protected  void addMiscEdges(SootClass c)
           
 PAG build(SparkOptions opts)
          Builds and returns a pointer assignment graph.
protected  void buildNative(SootMethod m)
           
protected  void handleClass(SootClass c)
           
 void preJimplify()
           
 
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

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)