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