changeset | 49be04cc6389 |
---|---|
branch | default |
bookmark | java9-try |
tag | tip |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | cyclic dependency ... |
files | build.xml src/annotations/module-info.java src/classes/module-info.java src/main/gov/nasa/jpf/vm/HashedAllocationContext.java src/main/module-info.java |
changeset | a0b1b1aa6cdf |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | add modules |
files | build.xml src/main/gov/nasa/jpf/vm/HashedAllocationContext.java |
changeset | 05294e96a284 |
---|---|
branch | |
bookmark | |
tag | |
user | nastaran <nastaran.shafiei@gmail.com> |
description | Extended the model class sun.misc.SharedSecrets to make it compatible with the updates in jdk8u121. The update caused the test gov.nasa.jpf.test.java.io.ObjectStreamTest to fail. |
files | src/classes/sun/misc/SharedSecrets.java |
changeset | 0069194b1048 |
---|---|
branch | |
bookmark | |
tag | |
user | nastaran <nastaran.shafiei@gmail.com> |
description | Updated the model class sun.misc.SharedSecrets to make it compatible with the recent updates in jdk8u75. New methods added to sun.misc.SharedSecrets are used by clinit in java.io.ObjectInputStream which caused JPF to throw java.lang.NoSuchMethodException. |
files | src/classes/sun/misc/SharedSecrets.java |
changeset | 9dc9df847545 |
---|---|
branch | |
bookmark | |
tag | |
user | nastaran <nastaran.shafiei@gmail.com> |
description | Fixed a bug in AtomicLong native peer. |
files | src/peers/gov/nasa/jpf/vm/JPF_java_util_concurrent_atomic_AtomicLong.java |
changeset | 820b89dd6c97 |
---|---|
branch | |
bookmark | |
tag | |
user | nastaran <nastaran.shafiei@gmail.com> |
description | Fixed a bug in the implementation for lambda support. Now, every invocation of invokedynamic that is associated with a lamabda expression including free variables leads to a new instance of a function object. |
files | src/main/gov/nasa/jpf/jvm/bytecode/INVOKEDYNAMIC.java src/tests/java8/LambdaTest.java |
changeset | 7be90179bb3b |
---|---|
branch | |
bookmark | |
tag | |
user | nastaran <nastaran.shafiei@gmail.com> |
description | Provided support for double colon operator used for lamabda expressions. Fixed a bug related to generating names for funcation object classes (by supporting double colon operator, a new stragety needed to generate unique names for function objects. To achive that the bootstrap ids are incorporated into names). Finally modified the method that retrieves the SAM from functional interfaces. |
files | src/main/gov/nasa/jpf/jvm/JVMClassInfo.java src/main/gov/nasa/jpf/jvm/JVMCodeBuilder.java src/main/gov/nasa/jpf/jvm/bytecode/INVOKEDYNAMIC.java src/main/gov/nasa/jpf/vm/BootstrapMethodInfo.java src/main/gov/nasa/jpf/vm/ClassInfo.java src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java src/main/gov/nasa/jpf/vm/FunctionObjectFactory.java src/tests/java8/LambdaTest.java |
changeset | 8aded593a50f |
---|---|
branch | |
bookmark | |
tag | |
user | Peter Mehlitz <pcmehlitz@gmail.com> |
description | fixed the missing class init status update for native clinits. Since we moved that to the clinit RETURN in r24, it has to be duplicated in NATIVERETURN for native clinits. Factoring out to DIRECTCALLRETURN is not an option since there is no good way to determine if the direct call included a clinit (we would have to look at the code, which is suboptimal performance- and change resilience-wise). Thanks to Franz Weitl for the report |
files | src/main/gov/nasa/jpf/jvm/bytecode/NATIVERETURN.java src/main/gov/nasa/jpf/jvm/bytecode/RETURN.java |
changeset | 4eb191cbb68c |
---|---|
branch | |
bookmark | |
tag | |
user | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
description | moved NonShared + checker listener over from old jpf-aprop. Note this is still a JVM specific listener but it could be VM agnostic |
files | src/annotations/gov/nasa/jpf/annotation/NonShared.java src/main/gov/nasa/jpf/listener/NonSharedChecker.java |
changeset | 3517702bd768 |
---|---|
branch | |
bookmark | |
tag | |
user | Peter Mehlitz <pcmehlitz@gmail.com> |
description | added class name to warning for ambiguous native methods (without MJI signatures) fixed VarTracker, which was utterly unaware of new instruction type hierarchy. added JVMArrayElementInstruction.get{Array/Index}Attr(ti) since listeners most likely use attrs which otherwise would have to be retrieved/cached in executeInstruction() notifications (e.g. variable name for array) fixed ReadInstruction, which somehow extended StoreInstruction |
files | src/main/gov/nasa/jpf/jvm/bytecode/ArrayLoadInstruction.java src/main/gov/nasa/jpf/jvm/bytecode/ArrayStoreInstruction.java src/main/gov/nasa/jpf/jvm/bytecode/JVMArrayElementInstruction.java src/main/gov/nasa/jpf/jvm/bytecode/LongArrayStoreInstruction.java src/main/gov/nasa/jpf/listener/VarTracker.java src/main/gov/nasa/jpf/vm/NativePeer.java src/main/gov/nasa/jpf/vm/StackFrame.java src/main/gov/nasa/jpf/vm/bytecode/ReadInstruction.java |