如何绕过空指针异常？#JPF答案

【问题标题】：How to bypass null pointer exception?#JPF如何绕过空指针异常？#JPF
【发布时间】：2014-11-27 09:32:51
【问题描述】：

我正在尝试运行 JPF，但遇到了以下空指针异常。

java.lang.NullPointerException at gov.nasa.jpf.vm.ThreadInfo$StackTraceElement.createJPFStackTraceElement(ThreadInfo.java:1671)

对应的代码是：

int createJPFStackTraceElement() {
    if (ignore) {
        return MJIEnv.NULL;
    } else {
        Heap heap = vm.getHeap();
        ClassInfo ci = ClassLoaderInfo.getSystemResolvedClassInfo("java.lang.StackTraceElement");
        ElementInfo ei = heap.newObject(ci, ThreadInfo.this);

        ei.setReferenceField("clsName", heap.newString(clsName, ThreadInfo.this).getObjectRef());
        ei.setReferenceField("mthName", heap.newString(mthName, ThreadInfo.this).getObjectRef());
        ei.setReferenceField("fileName", heap.newString(fileName, ThreadInfo.this).getObjectRef());  //line 1671
        ei.setIntField("line", line);

        return ei.getObjectRef();
    }
}

【问题讨论】：

标签： java nullpointerexception jpf

【解决方案1】：

有两种方法

你的代码应该包含空检查，所以首先它会检查值是否为空，然后决定是否执行代码 sn-p。
或者您可以使用 try catch 块。

【讨论】：