GitHub repository: wala/WALA
Primary language: Java
Description: T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses