널 포인터 예외를 우회하는 방법 # JPF

Question

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(); 
    } 
} 

Answer 1

두 가지 방법

이있다 코드 그래서 우선 값이 null의 경우는 확인합니다 NULL 체크를 포함해야

1. 그렇지 않으면 코드 스 니펫이 실행되어야하는지 여부가 결정됩니다.
2. 또는 try catch 블록을 사용할 수 있습니다.