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.
Java
Issues
- 16
`String.equals(Object)` makes JPF on Java 11 crash
#439 opened by quadhier - 23
The `VarTracker` listener always throws an `ArrayIndexOutOfBoundsException` exception
#380 opened by samvid25 - 0
- 39
"record" feature in jpf-core/java-17
#484 opened by eklaDFF - 24
Orphan NativePeer method with Java 11.0.20.1
#421 opened by emileferreira - 35
Compiler warnings under Java 17
#480 opened by cyrille-artho - 9
- 5
- 4
java.lang.NoSuchMethodException: SharedSecrets.setJavaNetInetAddressAccess
#482 opened by ChangWan723 - 0
Need Implementation of `JarFile`
#483 opened by Harsh4902 - 5
StringIndexOutOfBoundsException
#456 opened by eklaDFF - 0
Java 17: BufferMismatch now depends on native code: JPF crashes (missing native peer) if byte buffers differ
#458 opened by cyrille-artho - 96
- 19
- 16
"gov.nasa.jpf.test.java.concurrent.CountDownLatchTest" and "gov.nasa.jpf.test.java.concurrent.ExecutorServiceTest" fails on Java-17
#470 opened by eklaDFF - 6
"gov.nasa.jpf.test.java.concurrent.ConcurrentSkipListMapTest" fails on Java-17
#471 opened by eklaDFF - 0
- 18
Test "gov.nasa.jpf.test.java.io.ObjectStreamTest and gov.nasa.jpf.test.java.io.testSimpleReadbackOk" Fails on Java 17
#461 opened by eklaDFF - 16
- 5
Assistance Needed with Deadlock Detection in JPF
#464 opened by bupt01 - 0
`java.net.URI.toURI` broken
#457 opened by cyrille-artho - 43
- 13
- 29
- 47
Addressing Deprecated API Usage: public static SecurityManager getSecurityManager() {....} has been deprecated since Java 17
#436 opened by eklaDFF - 6
- 10
Unit test case performance
#418 opened by cyrille-artho - 6
Test case failure at Java-8 branch
#437 opened by Ao-senXiong - 1
Java Path Finder Latest Version not available
#435 opened by saravmani - 1
- 1
- 3
- 3
- 2
Migration to Java 11
#416 opened by cyrille-artho - 7
URLClassLoader unit tests fail under Windows
#427 opened by ghost-cai - 7
- 2
Classpath issue while using JPF(Java Path Finder)
#424 opened by shishir047 - 1
NoClassDefFoundError: sun/misc/SharedSecrets
#425 opened by JackSvoboda424 - 5
- 2
Coverage configuration
#417 opened by cyrille-artho - 7
Check if any changes in branch `master` need to be merged into `java-10-gradle`
#374 opened by cyrille-artho - 5
Check if the classpath exception is present in all model class files we use from OpenJDK 11
#370 opened by cyrille-artho - 2
Strengthen test case by adding a classfile that mimics a specific bytecode pattern
#411 opened by cyrille-artho - 2
Investigate the feasibility of setting up CI builds/tests with another JDK
#369 opened by cyrille-artho - 0
- 4
Lambda expression fails to capture a reference type local variable in JPF on Java 11
#379 opened by quadhier - 1
Lambda expression fails to capture a double type local variable in JPF on Java 11
#378 opened by quadhier - 4
- 5
Gradle version is outdated
#364 opened by cyrille-artho - 11