public class ContextInsensitiveBuilder
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected CallGraphBuilder |
cgb |
protected OnFlyCallGraph |
ofcg |
protected PAG |
pag |
protected ReachableMethods |
reachables |
Constructor and Description |
---|
ContextInsensitiveBuilder() |
Modifier and Type | Method and Description |
---|---|
void |
build()
Fills in the pointer assignment graph returned by setup.
|
protected void |
handleClass(SootClass c) |
void |
preJimplify() |
PAG |
setup(SparkOptions opts)
Creates an empty pointer assignment graph.
|
protected PAG pag
protected CallGraphBuilder cgb
protected OnFlyCallGraph ofcg
protected ReachableMethods reachables