Uses of Package
soot.jimple.spark.solver
-
Packages that use soot.jimple.spark.solver Package Description soot.jimple.spark.builder soot.jimple.spark.pag soot.jimple.spark.solver -
Classes in soot.jimple.spark.solver used by soot.jimple.spark.builder Class Description 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.pag Class Description 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 Class 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.