wala

T.J. Watson 分析库，提供 Java、Android 和 JavaScript 前端，并包含许多常见的静态程序分析功能。