soot.shimple.toolkits.scalar
Classes 
SConstantPropagatorAndFolder
SEvaluator
ShimpleLocalDefs