Giters

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

NoClassDefFoundError: sun/misc/SharedSecrets

JackSvoboda424 opened this issue · comments

commented

Hi,

I am attempting to install and run JPF for the first time. I have been able to successfully clone the code and build it with gradlew, but upon attempting to run it, I am hit with the following error:

[SEVERE] JPF configuration error: error instantiating class gov.nasa.jpf.vm.OVHeap for entry "vm.heap.class":

exception in gov.nasa.jpf.vm.OVHeap(gov.nasa.jpf.Config,gov.nasa.jpf.vm.KernelState):

java.lang.NoClassDefFoundError: sun/misc/SharedSecrets
used within "vm.class" instantiation of class gov.nasa.jpf.vm.SingleProcessVM
[SEVERE] JPF terminated

I am attempting to use the java-8 branch, and my JavaHome is set to a version of Java 8 (u271). I found this previous issue which seems to be the same one I'm facing, but I can't seem to figure out what the solution was.

Thanks

commented

I was able to resolve this issue. I had set my JavaHome to the correct version of Java, but neglected to update my PATH variable to the correct version. Once they were both set to Java 8, there were no problems.