State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
A new version of Soot with a completely overhauled architecture