SCT Student Projects - David Graf

The goal of this semester project is to build a tool, which automatically finds the pure methods in a Java program and writes this information in an XML-file, that can be used by other analyze tools. Base for the project is the paper "Purity and Side Effect Analysis for Java Programs" from Alexandru D. Salcianu and Martin C. Rinard, which describes theoretically how a purity analysis in a JAVA program could be made.