Package 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
-
-
Field Summary
Fields Modifier and Type Field Description protected CallGraphBuildercgbprotected OnFlyCallGraphofcgprotected PAGpagprotected ReachableMethodsreachables
-
Constructor Summary
Constructors Constructor Description ContextInsensitiveBuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidbuild()Fills in the pointer assignment graph returned by setup.protected voidhandleClass(SootClass c)voidpreJimplify()PAGsetup(SparkOptions opts)Creates an empty pointer assignment graph.
-
-
-
Field Detail
-
pag
protected PAG pag
-
cgb
protected CallGraphBuilder cgb
-
ofcg
protected OnFlyCallGraph ofcg
-
reachables
protected ReachableMethods reachables
-
-
Method Detail
-
preJimplify
public void preJimplify()
-
setup
public PAG setup(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)
-
-