| Package | Description |
|---|---|
| soot.jimple.spark.pag | |
| soot.jimple.spark.solver |
| Class and Description |
|---|
| OnFlyCallGraph
The interface between the pointer analysis engine and the on-the-fly
call graph builder.
|
| Class and Description |
|---|
| OnFlyCallGraph
The interface between the pointer analysis engine and the on-the-fly
call graph builder.
|
| Propagator
Abstract base class for a propagator that propagates points-to sets
along pointer assignment graph.
|