T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses. - View it on GitHub