Moving recursive lookup for defineClass0 just in the native method itself; messing...
authorrtrimana <rtrimana@uci.edu>
Fri, 5 Jul 2019 19:01:56 +0000 (12:01 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 5 Jul 2019 19:01:56 +0000 (12:01 -0700)
commit182324e618ad879c926c3f5f39789f165270eb89
tree2a38a2e396a974b1eb47364c512f4d6410770be7
parentfb55986441b8cc5486a13c83cfb43d84acea74fe
Moving recursive lookup for defineClass0 just in the native method itself; messing up with the ClassLoaderInfo could potentially harm the URLClassLoader class and other class-loading mechanisms in JPF.
src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
src/peers/gov/nasa/jpf/vm/JPF_java_lang_ClassLoader.java
src/tests/gov/nasa/jpf/test/java/lang/ClassLoaderTest.java