Package de.rwth.i2.attestor.programState

Class Summary

Class	Description
AtomicPropositions
GeneralProgramState	A general implementation of program states that comprises most functionality when analyzing Jimple programs.