Problem with native libraries while running JPF

[Aniket Kumar]

Hi,

I have built the latest version of jpf-core, jpf-symbc and have been trying to run a .jpf to generate test cases for an application. I have tried with both the command line and Eclipse. I am using a 64-bit Linux machine with java-8.

The execution environment is throwing the error "java.lang.UnsatisfiedLinkError: cannot find native java.lang.Class.getPrimitiveClass". I have copied the log below.

Running Symbolic PathFinder ...

symbolic.dp=choco

symbolic.string_dp_timeout_ms=0

symbolic.string_dp=none

symbolic.choco_time_bound=30000

symbolic.max_pc_length=2147483647

symbolic.max_pc_msec=0

symbolic.min_int=-1000000

symbolic.max_int=1000000

symbolic.min_double=-8.0

symbolic.max_double=7.0

JavaPathfinder core system v8.0 (rev 31+) - (C) 2005-2014 United States Government. All rights reserved.

====================================================== system under test

ModularExponentiation.main()

====================================================== search started: 5/29/16 2:30 AM

====================================================== error 1

gov.nasa.jpf.vm.NoUncaughtExceptionsProperty

java.lang.UnsatisfiedLinkError: cannot find native java.lang.Class.getPrimitiveClass

at java.lang.Class.getPrimitiveClass(no peer)

at java.lang.Boolean.<clinit>(Boolean.java:64)

====================================================== snapshot #1

thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}

  owned locks:java.lang.Class@4d

  call stack:

at java.lang.Boolean.<clinit>(Boolean.java:64)

====================================================== results

error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.UnsatisfiedLinkError: cannot find native..."

I have looked at previous posts, however haven't been able to find a solution to this problem. Any help here would be appreciated.

Thanks,

Aniket Lata

[Aniket Kumar]

I was able to find a solution to this problem.

Installing openjdk-8 and building using the most recent source did the job for me. I was previously using oracle-java-8. 

Regards,

Aniket