Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

edits

Adding a condition to not check for timeout when it is 0.

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

Adding new stuff to main.jpf.

SmartThings specific support to reduce state space

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

SmartThings support

Making sure that the timeout feature exits gracefully.

Adding a timeout feature.

Add constanttime class

Adding extract script for libraries.

Fixing a bug in the tracker.

Adding more groups.

Adding a new library into the runtime path.

Adding a missing library.

Updating conflict variables list in main.jpf.

Adding tracked variables in main.jpf.

Adding Groovy libraries for JPF runs.

Adding options to run.sh for automation.

Adding location.mode variable conflict tracker.

Miscellaneous cleanups.

Fixing a bug in ClassLoader.defineClass(); basically this method has to still return a java.lang.LinkageError exception when it attempts to define the same class twice.

Adding a variable conflict tracker/listener; this is useful for both device and global variable conflict types.

Adding an example groovy SmartThings test of 2 apps.

Adding more memory to the run.

Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type, 2) Different expected responses for ClassNotFoundException vs. ClassDefNotFoundException.

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.

Fixing another bug: The java.lang.StringBuilder.append(char c) needs to consider creating some array when it's set to capacity 0 and append(char c) is then called---such a call has to succeed.

Fixing a bug: Map's parameterized type signature with wildcard was not handled properly.

Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary class names that are prefixed with 'L', e.g., LEmpty, LRandComplex.

Cleaning up a bit Reflection.java.

Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

Fixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].

Adding run scripts.

Adding new examples and tests: Groovy and Java programs.

Finalizing the beta version of the implementation for Groovy extension in JPF: JPF now runs Groovy-compiled bytecode.

Adding recursive call to the getResolvedClassInfo() method: look into the parent (SystemClassLoaderInfo); adding the ProtectionDomain and AllPermission classes.

Fixing the ClassLoader.defineClass() method issue that could not find the necessary class because JPF did not do recursive look-up for ClassLoaderInfo.loadClass().

Adding MagicAccessorImpl class for GroovyMagic.

Upgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.

Fixing a bug in JPF_java_lang_String.java: There was a bug in the loop of the native method lastIndexOf().

Fixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun.beans.TypeResolver seems to require the upperBounds field to never be null, but when we run it on the actual JVM, this field can be null when it is not needed (when lowerBounds exist).

Fixing a bug: getWildcardTypeImplObject could not recognize variations of class Type parameters, e.g., +TT vs. +TU.

Adding tests for Type parameter, wild card, and class types for generic classes.

Fixing getGenericReturnType to recognize the GenericArrayTypeImpl and ParameterizedTypeImpl recursively.

Fixing the method getGenericParameterTypes to recognize the GenericArrayTypeImpl type.

Adding the class GenericArrayTypeImpl.java.

Adding upperBounds and lowerBounds extraction for 'super' and 'extends'.

Fixing another bug for getGenericReturnType so that it recognizes Class<?> as WildcardTypeImpl.

Fixing bug in recognizing Class<?> as a WilcardTypeImpl.

Added WildcardTypeImpl implementation (minimal support).

Adding WildcardTypeImpl class.

Returning genericDeclaration for TypeVariableImpl's getGenericDeclaration method.

Adding ParameterizedTypeImpl to the getGenericInterfaces method.

Adding ParameterizedTypeImpl to getGenericSuperclass method.

Adding getGenericSuperclass and getGenericInterface methods but without the ParameterizedTypeImpl option.

Fixing the method getGenericParameterTypes to include parameterized object such as Class<U>.

More tests on the Class<U> case.

Found a new case with Class<U> as a generic parameter.

Fixing a bug: There is a non-generic class with genericSignature present inside.

Adding a native method to handle getBounds() with a default answer: java.lang.Object

New problem with Groovy library.

First commit to JPF repo on PLRG server.

First commit to PLRG Git repo.

Testing for all 3 new method implementations.

A proper implementation of getGenericReturnType using the class ParameterizedTypeImpl.

A proper implementation for getGenericParameterTypes using the class ParameterizedTypeImpl.

Adding ParameterizedTypeImpl.java for parameterized types.

A clean implementation for getTypeParameters' native method version.

Instantiating TypeVariableImpl.java

Working example of class instantiation.

Adding the TypeVariableImpl.java class for generics; minimum implementation for now.

Dirty quick fix for getTypeParameters.

Preparing for tracking the object creation etc.

First attempt to add getGenericParameterTypes() and getGenericReturnType(); So far we have not been able to return the generic types with parameters information.

Cleaning up for the real fixes.

Starting a new version of Java Pathfinder.

Starting a new version of Java Pathfinder.

Starting our own version of JPF with support for generics.

Upgrade to gradle 5 (#190)

Fix issue #187: use ubuntu trusty version for travis build environment (#189)

Fix issue #186: package name (thanks to Marvinmw for the report).
modified:   src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java

Updated Search.java documentation (#184)

* Updated Search.java documentation

Fixed spelling and grammar errors, added verbosity to existing javadoc
and added javadoc where none previously existed.

Surrounded some previously uncaught methods and variables with {@code }

Add Peer for java.util.concurrent.atomic.AtomicReference (#182)

Calendar peer bug demonstration (#181)

* added unit test demonstrating Calendar peer bug

* added comment and main() method which can be called by RunJPF utility

Refined and expanded the javadoc for SearchListener.java and SearchListenerAdapter.java (#178)

Fixed up some of the spelling mistakes in the documentation for SearchListener.java. Added verbosity to the documentation for the class and method descriptions as well as extra details regarding each method and its usage.

Implements a jpf example ConcurrentCount (#177)

* Implements the jpf example ConcurrentCount

* check for concurrency issue

Updated Buffer and Matcher Classes (#171)

Rectifies the java.lang.NoSuchMethodError when usinf printf (#172)

* Rectifies the java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z error by overloading the find() method in native peer classes

* adds unit test

Fix: else-if block was missing code, so the "user" option for console publisher was defunct. Fixed incl. unit tests (thanks to Franck for both).

Added test on redirecting stdout to a file.
modified:   src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java

[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (#166)

* fix-bug in StackFrame.replaceLocalAttr: attrs is null

* add test-case

FIX: java.lang.Object should be java/lang/Object.
modified:   src/main/gov/nasa/jpf/vm/Types.java: Fixed incorrect type descr.
modified:   src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java: Unit test.

FIX: "java.lang.Char" should be "java.lang.Character". However, new unit test fails due to other problem.
new file:   src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java: New test, failing part commented out.

Fixed out-of-bounds cases for substring.

Added StringIndexOutOfBoundsException for charAt, with unit tests.

Fixed behavior of division by 0 on doubles (should be Infinity), added tests.

Fix for System.in.available().
modified:   src/classes/java/lang/System.java: Custom instance with fix.
modified:   src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java: Unit test.

Support Runtime.halt.
            modified:   src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java: Native peers.
            modified:   src/tests/gov/nasa/jpf/test/java/lang/RuntimeTest.java: Tests.