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

Modifying conflict tracker

Further excluding infrastructure/library field accesses.

Fixing issues: counter bugs, object ID comparison, exclusion of non-event and non-app field sharing.

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

Adding more restrictions in conflict analysis: not to analyze fields from the Groovy library.

Fixing a bug in ConflictTracker.java

Detecting location mode read/write using the old method.

Fixing a bug in listener!

Add required variables of the new listener to the config file.

Add the ConflictTracker to the main branch

More subtle changes to config file and state reducer listener.

Fixing a few bugs. Still need to check for the backtrack analysis.

First version of POR; need to double check the backtrack set analysis.

Adding more state reduction analysis.

Adding the option to activate beam search: a HeuristicSearch with a state queue that is reset at each level.

Fixing a typo in option name.

Updating main.jpf; Cleaning up the StateReducer.

First version of the StateReducer class.

Adding cameras.

Checking for null value before storing the first write.

Changing main.jpf

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

Adding a new variable.

Adding a new conflict variable.

Adding a null value filter in the tracker; Adding a new conflict variable for lights.

Adding conflict variable for Speeches.

More state reduction

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

Small improvment in state reduction

Adding conflict variables for lights.

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.