soot.jimple.toolkits.annotation.liveness
Classes 
LiveVarsTagger