是否有任何静态代码分析工具可以发现JNI(方法)签名字符串中的错误?例如,以下代码在语法上不正确(在完全限定的类名后缺少分号):
(*env)->GetMethodID(env, someClassId, "aMethod","(ILfoo/bar/TheClass)V");
编辑:代码分析工具不需要检查foo / bar / TheClass是否存在,而只是根据JNI规范检查字符串的有效语法。
这个问题的背景是,上面的代码触发了一个分段错误。这总是令人讨厌的调试情况,但静态分析在这种情况下应该非常容易,节省了大量时间。