Uses of Package
soot.jimple.spark.solver

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.