SCT Student Projects - Marco Bär

The goal of this master project is to extend the existing tool such that it can be practically used to annotate regular Java programs. There should be no limitations on the input program and the resulting annotations should be the most useful ones possible.