Orphan NativePeer method with Java 11.0.20.1 about jpf-core HOT 10 OPEN

Thanks, this is indeed a bug. Our regression tests do not check whether unexpected warnings occur so we have not caught that.
The warning means that there is a declared native method that refers to a non-existent native method. In this case, I think the problem lies in src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_misc_Unsafe.java:

  public int getUnsafe____Lsun_misc_Unsafe_2 (MJIEnv env, int clsRef) {

Simply changing the "mangled" return type to the mangled equivalent of jdk.internal.misc.Unsafe should fix this.
If possible, try to create a failing unit test first, which with the fix should then pass.

from jpf-core.

Is this issue still available ? can i work on this? @cyrille-artho

Not sure, adysinghh had almost completed the fix but then has not done the final small step. I've added a comment above to notify him.

from jpf-core.

can i work on this

from jpf-core.

Yes, unless there is a recent comment of someone working on an issue, it is usually available.
Creating an automated test to verify the absence of warnings may be difficult, but fixing the bug is easy. I will accept a patch if it fixes the bug without an automated check against the warning, and the check could also be implemented separately later. (If you have a working idea that includes a check against the warning, that's of course even better.)

from jpf-core.

@cyrille-artho hii, I had made some changes please review it.

from jpf-core.

Is this issue still available ? can i work on this? @cyrille-artho

from jpf-core.

@adysinghh : You had nearly completed your patch back in early January except for some redundancy/formatting issues. I had left some comments about that on Jan 15. Are you planning on completing your PR?

from jpf-core.

@cyrille-artho Apologies for the delay, I've been caught up with exams. I'll address the redundancy and formatting issues pointed out in your comments before this weekend.

from jpf-core.

The warning message is related to presence of orphan NativePeer method . The warning suggests that there may be an issue with the compatibility of the Java version you are using (openjdk 11.0.20.1) with the JPF library.
It is recommended to use a stable and well-tested version of Java 11 that is known to be compatible with the JPF library.

from jpf-core.

The warning is simply because of a minor change we forgot to make in the Java 11 version. It is easy to fix, but finding out how to fix it is a good introduction to JPF's architecture for a first-time committer, so we leave this up for someone to fix.

from jpf-core.