|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use soot.jimple.spark.solver | |
| soot.jimple.spark.pag | |
| soot.jimple.spark.solver | |
| Classes in soot.jimple.spark.solver used by soot.jimple.spark.pag | |
| OnFlyCallGraph
The interface between the pointer analysis engine and the on-the-fly call graph builder. |
|
| Classes in soot.jimple.spark.solver used by soot.jimple.spark.solver | |
| 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. |
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||