| Package | Description |
|---|---|
| soot.jimple.spark.solver |
| Modifier and Type | Class and Description |
|---|---|
class |
PropAlias
Propagates points-to sets along pointer assignment graph using a relevant
aliases.
|
class |
PropCycle
Propagates points-to sets using an on-line cycle detection algorithm
based on Heintze and Tardieu, PLDI 2000.
|
class |
PropIter
Propagates points-to sets along pointer assignment graph using iteration.
|
class |
PropMerge
Propagates points-to sets along pointer assignment graph using a merging
of field reference (Red) nodes to improve scalability.
|
class |
PropWorklist
Propagates points-to sets along pointer assignment graph using a worklist.
|