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.
|