Soot- java program analysis