search

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.
527 stars 334 forks source link

Apply patches for #295 to add extension to systematically inject and test for bit-flip faults #403

Closed varad64 closed 1 year ago

varad64 commented 1 year ago

297 refactors Verify.java to resolve a bug introduced by #295

299 refactors Verify.java to have native qualifiers instead of empty method bodies for multiple methods

Five test classes have been added in as a result of the patch which add a total of 27 tests:

  1. BCDEncodedISBNTest.java
  2. CRCTest.java
  3. CheckISBNTest.java
  4. LongEncodedCRCTest.java
  5. BitFlipTest.java

Thanks!