кто юзал Pathfinder, подскажите
имею такой код:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
package javaapplication2;
import java.nio.charset.Charset;
import java.util.SortedMap;
public class JavaApplication2 {
public static void main(String[] args){
SortedMap<String, Charset> avail = Charset.availableCharsets();
}
}
запускаю так:
java -jar "C:\Documents and Settings\Администратор\projects\jpf\jpf-core\build\RunJPF.jar" +classpath=. javaapplication2.JavaApplication2
и получаю экзепшен:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
61.
62.
63.
64.
65.
66.
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center
====================================================== system under test
application: javaapplication2/JavaApplication2.java
====================================================== search started: 29.03.12 18:19
====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.UnsatisfiedLinkError: cannot find native sun.misc.VM.initialize
at sun.misc.VM.initialize(no peer)
at sun.misc.VM.<clinit>(sun/misc/VM.java:40)
at java.nio.charset.Charset.atBugLevel(java/nio/charset/Charset.java:6)
at java.nio.charset.Charset.checkName(java/nio/charset/Charset.java:7)
at java.nio.charset.Charset.<init>(java/nio/charset/Charset.java:10)
at sun.nio.cs.IBM862.<init>(sun/nio/cs/IBM862.java:6)
at java.lang.Class.newInstance(gov.nasa.jpf.jvm.JPF_java_lang_Class)
at sun.nio.cs.FastCharsetProvider.lookup(sun/nio/cs/FastCharsetProvider.java:125)
at sun.nio.cs.FastCharsetProvider.access$100(sun/nio/cs/FastCharsetProvider.java:2)
at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:18)
at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:1)
at java.nio.charset.Charset.put(java/nio/charset/Charset.java:10)
at java.nio.charset.Charset.access$300(java/nio/charset/Charset.java:2)
at java.nio.charset.Charset$4.run(java/nio/charset/Charset.java:18)
at java.security.AccessController.doPrivileged(java/security/AccessController.java:41)
at java.nio.charset.Charset.availableCharsets(java/nio/charset/Charset.java:7)
at javaapplication2.JavaApplication2.main(javaapplication2/JavaApplication2.java:9)
====================================================== snapshot #1
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
owned locks:java.lang.Class@59f
call stack:
at sun.misc.VM.<clinit>(sun/misc/VM.java:40)
at java.nio.charset.Charset.atBugLevel(java/nio/charset/Charset.java:6)
at java.nio.charset.Charset.checkName(java/nio/charset/Charset.java:7)
at java.nio.charset.Charset.<init>(java/nio/charset/Charset.java:10)
at sun.nio.cs.IBM862.<init>(sun/nio/cs/IBM862.java:6)
at java.lang.Class.newInstance(java/lang/Class.java:-1)
at sun.nio.cs.FastCharsetProvider.lookup(sun/nio/cs/FastCharsetProvider.java:125)
at sun.nio.cs.FastCharsetProvider.access$100(sun/nio/cs/FastCharsetProvider.java:2)
at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:18)
at sun.nio.cs.FastCharsetProvider$1.next(sun/nio/cs/FastCharsetProvider.java:1)
at java.nio.charset.Charset.put(java/nio/charset/Charset.java:10)
at java.nio.charset.Charset.access$300(java/nio/charset/Charset.java:2)
at java.nio.charset.Charset$4.run(java/nio/charset/Charset.java:18)
at java.security.AccessController.doPrivileged(java/security/AccessController.java:41)
at java.nio.charset.Charset.availableCharsets(java/nio/charset/Charset.java:7)
at javaapplication2.JavaApplication2.main(javaapplication2/JavaApplication2.java:9)
====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.UnsatisfiedLinkError: cannot find native..."
====================================================== statistics
elapsed time: 0:00:00
states: new=1, visited=0, backtracked=0, end=0
search: maxDepth=1, constraints hit=0
choice generators: thread=1 (signal=0, lock=1, shared ref=0), data=0
heap: new=1458, released=0, max live=0, gc-cycles=0
instructions: 8529
max memory: 15MB
loaded code: classes=110, methods=1436
====================================================== search finished: 29.03.12 18:19
то есть, насколько я понимаю, jpf интерпретируя байт-код не находит какой то либы. JAVA_HOME установлено в C:\Program Files\Java\jdk1.6.0_29
содержимое site.properties
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
jpf.home = ${user.home}/projects/jpf
jpf-core = ${user.home}/projects/jpf/jpf-core
jpf-aprop = ${jpf.home}/jpf-aprop
extensions+=,${jpf-aprop}
jpf-numeric = ${jpf.home}/jpf-numeric
extensions+=,${jpf-numeric}
проблема именно с классом Charset, если его не использовать то все работает.
