This software performs static analysis of the java class files to identify the dimensions and hence acn be used for dimensional checking. This also include src for Seaview instrumentation which instruments the logs for their analysis with its sister project called Seaview. for more info http://suif.stanford.edu/unifi.