Static path conditions for Java. - Christian Hammer 001; Rüdiger Schaade; Gregor Snelting (PLAS, 2008)