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