When working on the JVM I regard any reflection or JNI as high-risk code to be replaced as soon as possible. Both are very rarely hard requirements. So I’m not convinced unsound analysis is necessary.