Package | Description |
---|---|
soot.jimple.spark.builder | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.pag |
Modifier and Type | Method and Description |
---|---|
PAG |
ContextInsensitiveBuilder.setup(SparkOptions opts)
Creates an empty pointer assignment graph.
|
PAG |
ContextInsensitiveBuilder.setup(SparkOptions opts)
Creates an empty pointer assignment graph.
|
Constructor and Description |
---|
GeomPointsTo(SparkOptions opts) |
GeomPointsTo(SparkOptions opts) |
Modifier and Type | Field and Description |
---|---|
protected SparkOptions |
PAG.opts |
protected SparkOptions |
PAG.opts |
Modifier and Type | Method and Description |
---|---|
SparkOptions |
PAG.getOpts()
Returns SparkOptions for this graph.
|
SparkOptions |
PAG.getOpts()
Returns SparkOptions for this graph.
|
Constructor and Description |
---|
PAG(SparkOptions opts) |
PAG(SparkOptions opts) |