soot.jimple.spark.builder
Class ContextInsensitiveBuilder
java.lang.Object
soot.jimple.spark.builder.ContextInsensitiveBuilder
- public class ContextInsensitiveBuilder
- extends Object
A context insensitive pointer assignment graph builder.
- Author:
- Ondrej Lhotak
Method Summary |
void |
build()
Fills in the pointer assignment graph returned by setup. |
protected void |
handleClass(SootClass c)
|
void |
preJimplify()
|
PAG |
setup(soot.options.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 |
ContextInsensitiveBuilder
public ContextInsensitiveBuilder()
preJimplify
public void preJimplify()
setup
public PAG setup(soot.options.SparkOptions opts)
- Creates an empty pointer assignment graph.
build
public void build()
- Fills in the pointer assignment graph returned by setup.
handleClass
protected void handleClass(SootClass c)