基于 RML 的全局 Java 分析