1. 16 Nov, 2022 2 commits
  2. 03 Sep, 2022 1 commit
  3. 30 Aug, 2022 1 commit
  4. 19 Aug, 2022 1 commit
  5. 10 Aug, 2022 1 commit
  6. 20 Apr, 2022 1 commit
  7. 19 Apr, 2022 1 commit
    • ThisTestUser's avatar
      Save properties in VM (#326) · 56071225
      ThisTestUser authored
      * Save properties in VM
      
      * Fix an obscure bug
      
      When a class is copied over into a new classloader, its resolved interfaces must resolve to the new classloader also.
      56071225
  8. 08 Feb, 2022 1 commit
  9. 24 Jan, 2022 1 commit
  10. 19 Jan, 2022 1 commit
  11. 13 Jan, 2022 1 commit
  12. 20 Nov, 2021 1 commit
  13. 21 Sep, 2021 1 commit
  14. 18 Sep, 2021 1 commit
  15. 17 Sep, 2021 2 commits
  16. 08 Sep, 2021 1 commit
    • Malte Mues's avatar
      Add ptml plugin (#296) · 93d7ee2d
      Malte Mues authored
      * Add maven-publish plugin
      
      * Make jpf-core-classes as a publication available
      
      * Allow manual triggering the workflow
      93d7ee2d
  17. 17 Aug, 2021 1 commit
    • Luke Yi's avatar
      Systematically explore bit-flip faults in user-specified variables in Java programs. (#295) · f33b4aa2
      Luke Yi authored
      * add BitFlip annotation for parameters, fields and local variables
      
      * faulty implementation of getBitFlip API
      
      * Address the getBitFlip API issue by (1) moving the logic of choosing flipping positions to Java level and (2) call getInt__II__I only once in MJI level and decode.
      I keep the code of both approaches in Verify.java and JPF_gov_nasa_jpf_vm_Verify.java respectively. The one that takes effect for now is (2) in JPF_gov_nasa_jpf_vm_Verify.java, because with getBitFlip__JII__J method in JPF_gov_nasa_jpf_vm_Verify.java, JPF will execute getBitFlip__JII__J instead of getBitFlip in Verify.java.
      
      * explicitly limit up to 7 bits to flip, add more comment to explain the code
      
      * add local Example repository to JPF classpath in jpf.properties
      
      * add Verify.getBitFlip API for double, float and boolean typed variables
      
      * faulty implementation of bit flips for annotated arguments
      
      * move the examples into this repo
      
      * give the ChoiceGenerator of getBitFlip a unique String id
      
      * change the AnnotationSimpleExample to flip 2 bits; remove faulty implementation of parameter bit flips in JVMStackFrame.java
      
      * add listener-based parameter bit flip implementation
      
      * clear the lastFlippedBits entry after exploring all choices
      
      * delete deprecated example classes in src/tests
      
      * add JPF test class BitFlipTest.java to test getBitFlip API and @BitFlip annotation
      
      * address issue #4
      
      * refactor the code, move certain part of code out of BitFlipListener to StackFrame and Types, which can hopefully reduce code duplication later
      
      * partly resolve #5: add implementation for local variable and field annotations, but JPF cannot parse local variables internally; add tests for field annotations in BitFlipTest
      
      * uncomment the testLocalVariableBitFlip test, and annotate it with @Ignore
      
      * resolve #6 by annotating local variables with type annotations
      
      * resolve #7 : add support for command line specified bit flips for fields, parameters and local variables; add tests for them in BitFlipTest.java
      
      * add more comment; add license for new files; clean unnessary changes; move the examples out
      
      * resolve issue #9: add 5 more complex tests for bit flips
      
      * small changes to some comments and variable/method names
      
      * change the new files to use the JPF Apache License
      f33b4aa2
  18. 11 May, 2021 2 commits
  19. 07 Apr, 2021 5 commits
  20. 14 Jan, 2021 1 commit
  21. 04 Jan, 2021 1 commit
  22. 19 Oct, 2020 1 commit
  23. 13 Oct, 2020 2 commits
  24. 30 Jul, 2020 2 commits
  25. 22 Jul, 2020 1 commit
  26. 13 Nov, 2019 1 commit
  27. 24 Jul, 2019 1 commit
  28. 19 Jul, 2019 1 commit
  29. 17 Jul, 2019 1 commit
    • Rahmadi Trimananda's avatar
      Added a recursive look-up mechanism for the... · d8508898
      Rahmadi Trimananda authored
      Added a recursive look-up mechanism for the java.lang.ClassLoader.defineClass() native method and the necessary unit test testDefineClass for this change (#199) (#203)
      
      * Added a recursive look-up mechanism for the java.lang.ClassLoader.defineClass() native method and the necessary unit test testDefineClass for this change (#199)
      
      * Update build.gradle
      
      * Update jpf.properties
      
      * Update JPF_java_lang_ClassLoader.java
      
      Added additional checks in the "SystemClassLoaderInfo" for missing classes and return the class when found.
      
      * Update ClassLoaderTest.java
      
      Added an error test testDefineClassError to test the java.lang.LinkageError when a class is defined twice in the ClassLoader.
      d8508898
  30. 05 Jul, 2019 1 commit
  31. 04 Jul, 2019 1 commit