Package sootup.analysis.interprocedural.ide

package sootup.analysis.interprocedural.ide

Classes

Class	Description
DefaultJimpleIDETabulationProblem<D,V,I extends heros.InterproceduralCFG<Stmt,SootMethod>>
JimpleIDESolver<D,V,I extends heros.InterproceduralCFG<Stmt,SootMethod>>