Package soot.shimple.toolkits.scalar

Some analyses based on Shimple.

Class Summary

Class	Description
SConstantPropagatorAndFolder	A powerful constant propagator and folder based on an algorithm sketched by Cytron et al that takes conditional control flow into account.
SEvaluator	Extension of soot.jimple.toolkits.scalar.Evaluator to handle Phi expressions.
SEvaluator.BottomConstant	Bottom i.e.
SEvaluator.MetaConstant	Head of a new hierarchy of constants -- Top and Bottom.
SEvaluator.TopConstant	Top i.e.
ShimpleLocalDefs	This class implements the LocalDefs interface for Shimple.
ShimpleLocalUses	This class implements the LocalUses interface for Shimple.