SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code

wala / WALA

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