jpf-core.git
2 years agoAdding a null value filter in the tracker; Adding a new conflict variable for lights.
rtrimana [Wed, 7 Aug 2019 17:21:49 +0000 (10:21 -0700)]
Adding a null value filter in the tracker; Adding a new conflict variable for lights.

2 years agoAdding conflict variable for Speeches.
rtrimana [Tue, 6 Aug 2019 22:35:28 +0000 (15:35 -0700)]
Adding conflict variable for Speeches.

2 years agoMore state reduction
bdemsky [Tue, 6 Aug 2019 19:45:05 +0000 (12:45 -0700)]
More state reduction

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
bdemsky [Tue, 6 Aug 2019 06:51:36 +0000 (23:51 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoSmall improvment in state reduction
bdemsky [Tue, 6 Aug 2019 06:51:21 +0000 (23:51 -0700)]
Small improvment in state reduction

2 years agoAdding conflict variables for lights.
rtrimana [Mon, 5 Aug 2019 18:02:51 +0000 (11:02 -0700)]
Adding conflict variables for lights.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
bdemsky [Sat, 3 Aug 2019 07:06:20 +0000 (00:06 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoedits
bdemsky [Sat, 3 Aug 2019 07:05:28 +0000 (00:05 -0700)]
edits

2 years agoAdding a condition to not check for timeout when it is 0.
rtrimana [Fri, 2 Aug 2019 22:13:25 +0000 (15:13 -0700)]
Adding a condition to not check for timeout when it is 0.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
rtrimana [Fri, 2 Aug 2019 21:58:48 +0000 (14:58 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoAdding new stuff to main.jpf.
rtrimana [Fri, 2 Aug 2019 21:58:31 +0000 (14:58 -0700)]
Adding new stuff to main.jpf.

2 years agoSmartThings specific support to reduce state space
bdemsky [Fri, 2 Aug 2019 21:40:08 +0000 (14:40 -0700)]
SmartThings specific support to reduce state space

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
bdemsky [Fri, 2 Aug 2019 19:33:41 +0000 (12:33 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoSmartThings support
bdemsky [Fri, 2 Aug 2019 19:33:03 +0000 (12:33 -0700)]
SmartThings support

2 years agoMaking sure that the timeout feature exits gracefully.
rtrimana [Fri, 2 Aug 2019 17:44:16 +0000 (10:44 -0700)]
Making sure that the timeout feature exits gracefully.

2 years agoAdding a timeout feature.
rtrimana [Fri, 2 Aug 2019 17:09:05 +0000 (10:09 -0700)]
Adding a timeout feature.

2 years agoAdd constanttime class
bdemsky [Thu, 1 Aug 2019 21:18:26 +0000 (14:18 -0700)]
Add constanttime class

2 years agoAdding extract script for libraries.
rtrimana [Thu, 1 Aug 2019 15:12:38 +0000 (08:12 -0700)]
Adding extract script for libraries.

2 years agoFixing a bug in the tracker.
rtrimana [Wed, 31 Jul 2019 19:09:09 +0000 (12:09 -0700)]
Fixing a bug in the tracker.

2 years agoAdding more groups.
rtrimana [Tue, 30 Jul 2019 22:10:32 +0000 (15:10 -0700)]
Adding more groups.

2 years agoAdding a new library into the runtime path.
rtrimana [Tue, 30 Jul 2019 17:34:24 +0000 (10:34 -0700)]
Adding a new library into the runtime path.

2 years agoAdding a missing library.
rtrimana [Tue, 30 Jul 2019 17:26:48 +0000 (10:26 -0700)]
Adding a missing library.

2 years agoUpdating conflict variables list in main.jpf.
rtrimana [Mon, 29 Jul 2019 17:35:53 +0000 (10:35 -0700)]
Updating conflict variables list in main.jpf.

2 years agoAdding tracked variables in main.jpf.
rtrimana [Fri, 26 Jul 2019 18:26:05 +0000 (11:26 -0700)]
Adding tracked variables in main.jpf.

2 years agoAdding Groovy libraries for JPF runs.
rtrimana [Wed, 24 Jul 2019 19:46:55 +0000 (12:46 -0700)]
Adding Groovy libraries for JPF runs.

2 years agoAdding options to run.sh for automation.
rtrimana [Wed, 24 Jul 2019 19:39:35 +0000 (12:39 -0700)]
Adding options to run.sh for automation.

2 years agoAdding location.mode variable conflict tracker.
rtrimana [Fri, 19 Jul 2019 20:15:20 +0000 (13:15 -0700)]
Adding location.mode variable conflict tracker.

2 years agoMiscellaneous cleanups.
rtrimana [Thu, 18 Jul 2019 00:00:12 +0000 (17:00 -0700)]
Miscellaneous cleanups.

2 years agoFixing a bug in ClassLoader.defineClass(); basically this method has to still return...
rtrimana [Tue, 16 Jul 2019 20:22:12 +0000 (13:22 -0700)]
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.

2 years agoAdding a variable conflict tracker/listener; this is useful for both device and globa...
rtrimana [Tue, 16 Jul 2019 18:20:47 +0000 (11:20 -0700)]
Adding a variable conflict tracker/listener; this is useful for both device and global variable conflict types.

2 years agoAdding an example groovy SmartThings test of 2 apps.
rtrimana [Mon, 8 Jul 2019 22:20:27 +0000 (15:20 -0700)]
Adding an example groovy SmartThings test of 2 apps.

2 years agoAdding more memory to the run.
rtrimana [Mon, 8 Jul 2019 22:16:45 +0000 (15:16 -0700)]
Adding more memory to the run.

2 years agoFixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type...
rtrimana [Mon, 8 Jul 2019 20:42:33 +0000 (13:42 -0700)]
Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type, 2) Different expected responses for ClassNotFoundException vs. ClassDefNotFoundException.

2 years agoMoving recursive lookup for defineClass0 just in the native method itself; messing...
rtrimana [Fri, 5 Jul 2019 19:01:56 +0000 (12:01 -0700)]
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.

2 years agoFixing another bug: The java.lang.StringBuilder.append(char c) needs to consider...
rtrimana [Wed, 3 Jul 2019 23:13:22 +0000 (16:13 -0700)]
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.

2 years agoFixing a bug: Map's parameterized type signature with wildcard was not handled properly.
rtrimana [Wed, 3 Jul 2019 22:18:30 +0000 (15:18 -0700)]
Fixing a bug: Map's parameterized type signature with wildcard was not handled properly.

2 years agoFixing a subtle bug: the method isParameterWithType() did not consider arbitrary...
rtrimana [Mon, 1 Jul 2019 19:40:33 +0000 (12:40 -0700)]
Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary class names that are prefixed with 'L', e.g., LEmpty, LRandComplex.

2 years agoCleaning up a bit Reflection.java.
Rahmadi Trimananda [Sat, 29 Jun 2019 23:35:38 +0000 (16:35 -0700)]
Cleaning up a bit Reflection.java.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
Rahmadi Trimananda [Sat, 29 Jun 2019 23:33:00 +0000 (16:33 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoFixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].
Rahmadi Trimananda [Sat, 29 Jun 2019 23:32:26 +0000 (16:32 -0700)]
Fixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].

2 years agoAdding run scripts.
rtrimana [Fri, 28 Jun 2019 23:50:00 +0000 (16:50 -0700)]
Adding run scripts.

2 years agoAdding new examples and tests: Groovy and Java programs.
rtrimana [Fri, 28 Jun 2019 23:33:03 +0000 (16:33 -0700)]
Adding new examples and tests: Groovy and Java programs.

2 years agoFinalizing the beta version of the implementation for Groovy extension in JPF: JPF...
rtrimana [Fri, 28 Jun 2019 18:39:38 +0000 (11:39 -0700)]
Finalizing the beta version of the implementation for Groovy extension in JPF: JPF now runs Groovy-compiled bytecode.

2 years agoAdding recursive call to the getResolvedClassInfo() method: look into the parent...
Rahmadi Trimananda [Fri, 28 Jun 2019 01:18:50 +0000 (18:18 -0700)]
Adding recursive call to the getResolvedClassInfo() method: look into the parent (SystemClassLoaderInfo); adding the ProtectionDomain and AllPermission classes.

2 years agoFixing the ClassLoader.defineClass() method issue that could not find the necessary...
rtrimana [Thu, 27 Jun 2019 19:42:35 +0000 (12:42 -0700)]
Fixing the ClassLoader.defineClass() method issue that could not find the necessary class because JPF did not do recursive look-up for ClassLoaderInfo.loadClass().

3 years agoAdding MagicAccessorImpl class for GroovyMagic.
rtrimana [Wed, 26 Jun 2019 19:38:59 +0000 (12:38 -0700)]
Adding MagicAccessorImpl class for GroovyMagic.

3 years agoUpgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.
rtrimana [Wed, 26 Jun 2019 18:54:50 +0000 (11:54 -0700)]
Upgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.

3 years agoFixing a bug in JPF_java_lang_String.java: There was a bug in the loop of the native...
Rahmadi Trimananda [Wed, 26 Jun 2019 00:43:57 +0000 (17:43 -0700)]
Fixing a bug in JPF_java_lang_String.java: There was a bug in the loop of the native method lastIndexOf().

3 years agoFixing a bug: the specification is not accurate for WildcardTypeImpl. The com.sun...
rtrimana [Tue, 25 Jun 2019 18:31:41 +0000 (11:31 -0700)]
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).

3 years agoFixing a bug: getWildcardTypeImplObject could not recognize variations of class Type...
rtrimana [Tue, 25 Jun 2019 17:24:25 +0000 (10:24 -0700)]
Fixing a bug: getWildcardTypeImplObject could not recognize variations of class Type parameters, e.g., +TT vs. +TU.

3 years agoAdding tests for Type parameter, wild card, and class types for generic classes.
rtrimana [Tue, 25 Jun 2019 00:18:33 +0000 (17:18 -0700)]
Adding tests for Type parameter, wild card, and class types for generic classes.

3 years agoFixing getGenericReturnType to recognize the GenericArrayTypeImpl and ParameterizedTy...
rtrimana [Mon, 24 Jun 2019 22:56:15 +0000 (15:56 -0700)]
Fixing getGenericReturnType to recognize the GenericArrayTypeImpl and ParameterizedTypeImpl recursively.

3 years agoFixing the method getGenericParameterTypes to recognize the GenericArrayTypeImpl...
rtrimana [Mon, 24 Jun 2019 22:21:54 +0000 (15:21 -0700)]
Fixing the method getGenericParameterTypes to recognize the GenericArrayTypeImpl type.

3 years agoAdding the class GenericArrayTypeImpl.java.
Rahmadi Trimananda [Mon, 24 Jun 2019 16:06:33 +0000 (09:06 -0700)]
Adding the class GenericArrayTypeImpl.java.

3 years agoAdding upperBounds and lowerBounds extraction for 'super' and 'extends'.
Rahmadi Trimananda [Sat, 22 Jun 2019 23:27:54 +0000 (16:27 -0700)]
Adding upperBounds and lowerBounds extraction for 'super' and 'extends'.

3 years agoFixing another bug for getGenericReturnType so that it recognizes Class<?> as Wildcar...
Rahmadi Trimananda [Sat, 22 Jun 2019 18:23:44 +0000 (11:23 -0700)]
Fixing another bug for getGenericReturnType so that it recognizes Class<?> as WildcardTypeImpl.

3 years agoFixing bug in recognizing Class<?> as a WilcardTypeImpl.
Rahmadi Trimananda [Sat, 22 Jun 2019 18:12:34 +0000 (11:12 -0700)]
Fixing bug in recognizing Class<?> as a WilcardTypeImpl.

3 years agoAdded WildcardTypeImpl implementation (minimal support).
rtrimana [Sat, 22 Jun 2019 00:05:46 +0000 (17:05 -0700)]
Added WildcardTypeImpl implementation (minimal support).

3 years agoAdding WildcardTypeImpl class.
rtrimana [Fri, 21 Jun 2019 19:29:47 +0000 (12:29 -0700)]
Adding WildcardTypeImpl class.

3 years agoReturning genericDeclaration for TypeVariableImpl's getGenericDeclaration method.
rtrimana [Fri, 21 Jun 2019 18:43:20 +0000 (11:43 -0700)]
Returning genericDeclaration for TypeVariableImpl's getGenericDeclaration method.

3 years agoAdding ParameterizedTypeImpl to the getGenericInterfaces method.
rtrimana [Fri, 21 Jun 2019 18:34:38 +0000 (11:34 -0700)]
Adding ParameterizedTypeImpl to the getGenericInterfaces method.

3 years agoAdding ParameterizedTypeImpl to getGenericSuperclass method.
rtrimana [Fri, 21 Jun 2019 18:03:21 +0000 (11:03 -0700)]
Adding ParameterizedTypeImpl to getGenericSuperclass method.

3 years agoAdding getGenericSuperclass and getGenericInterface methods but without the Parameter...
Rahmadi Trimananda [Fri, 21 Jun 2019 01:18:31 +0000 (18:18 -0700)]
Adding getGenericSuperclass and getGenericInterface methods but without the ParameterizedTypeImpl option.

3 years agoFixing the method getGenericParameterTypes to include parameterized object such as...
Rahmadi Trimananda [Fri, 21 Jun 2019 00:52:49 +0000 (17:52 -0700)]
Fixing the method getGenericParameterTypes to include parameterized object such as Class<U>.

3 years agoMore tests on the Class<U> case.
rtrimana [Thu, 20 Jun 2019 20:11:28 +0000 (13:11 -0700)]
More tests on the Class<U> case.

3 years agoFound a new case with Class<U> as a generic parameter.
rtrimana [Thu, 20 Jun 2019 19:45:56 +0000 (12:45 -0700)]
Found a new case with Class<U> as a generic parameter.

3 years agoFixing a bug: There is a non-generic class with genericSignature present inside.
rtrimana [Thu, 20 Jun 2019 18:42:39 +0000 (11:42 -0700)]
Fixing a bug: There is a non-generic class with genericSignature present inside.

3 years agoAdding a native method to handle getBounds() with a default answer: java.lang.Object
rtrimana [Thu, 20 Jun 2019 17:48:38 +0000 (10:48 -0700)]
Adding a native method to handle getBounds() with a default answer: java.lang.Object

3 years agoNew problem with Groovy library.
rtrimana [Wed, 19 Jun 2019 20:08:46 +0000 (13:08 -0700)]
New problem with Groovy library.

3 years agoFirst commit to JPF repo on PLRG server.
rtrimana [Wed, 19 Jun 2019 18:21:06 +0000 (11:21 -0700)]
First commit to JPF repo on PLRG server.

3 years agoFirst commit to PLRG Git repo.
rtrimana [Wed, 19 Jun 2019 17:53:11 +0000 (10:53 -0700)]
First commit to PLRG Git repo.

3 years agoTesting for all 3 new method implementations.
Rahmadi Trimananda [Wed, 19 Jun 2019 08:35:03 +0000 (01:35 -0700)]
Testing for all 3 new method implementations.

3 years agoA proper implementation of getGenericReturnType using the class ParameterizedTypeImpl.
Rahmadi Trimananda [Wed, 19 Jun 2019 03:24:15 +0000 (20:24 -0700)]
A proper implementation of getGenericReturnType using the class ParameterizedTypeImpl.

3 years agoA proper implementation for getGenericParameterTypes using the class ParameterizedTyp...
Rahmadi Trimananda [Wed, 19 Jun 2019 03:01:33 +0000 (20:01 -0700)]
A proper implementation for getGenericParameterTypes using the class ParameterizedTypeImpl.

3 years agoAdding ParameterizedTypeImpl.java for parameterized types.
rtrimana [Tue, 18 Jun 2019 19:56:09 +0000 (12:56 -0700)]
Adding ParameterizedTypeImpl.java for parameterized types.

3 years agoA clean implementation for getTypeParameters' native method version.
rtrimana [Tue, 18 Jun 2019 19:46:45 +0000 (12:46 -0700)]
A clean implementation for getTypeParameters' native method version.

3 years agoInstantiating TypeVariableImpl.java
Rahmadi Trimananda [Tue, 18 Jun 2019 06:55:10 +0000 (23:55 -0700)]
Instantiating TypeVariableImpl.java

3 years agoWorking example of class instantiation.
rtrimana [Mon, 17 Jun 2019 19:48:44 +0000 (12:48 -0700)]
Working example of class instantiation.

3 years agoAdding the TypeVariableImpl.java class for generics; minimum implementation for now.
rtrimana [Mon, 17 Jun 2019 18:50:27 +0000 (11:50 -0700)]
Adding the TypeVariableImpl.java class for generics; minimum implementation for now.

3 years agoDirty quick fix for getTypeParameters.
rtrimana [Fri, 14 Jun 2019 19:32:44 +0000 (12:32 -0700)]
Dirty quick fix for getTypeParameters.

3 years agoPreparing for tracking the object creation etc.
rtrimana [Fri, 14 Jun 2019 19:01:13 +0000 (12:01 -0700)]
Preparing for tracking the object creation etc.

3 years agoFirst attempt to add getGenericParameterTypes() and getGenericReturnType(); So far...
rtrimana [Thu, 13 Jun 2019 23:47:25 +0000 (16:47 -0700)]
First attempt to add getGenericParameterTypes() and getGenericReturnType(); So far we have not been able to return the generic types with parameters information.

3 years agoCleaning up for the real fixes.
rtrimana [Thu, 13 Jun 2019 19:53:11 +0000 (12:53 -0700)]
Cleaning up for the real fixes.

3 years agoStarting a new version of Java Pathfinder.
rtrimana [Mon, 10 Jun 2019 22:08:12 +0000 (15:08 -0700)]
Starting a new version of Java Pathfinder.

3 years agoStarting a new version of Java Pathfinder.
rtrimana [Mon, 10 Jun 2019 22:05:55 +0000 (15:05 -0700)]
Starting a new version of Java Pathfinder.

3 years agoStarting our own version of JPF with support for generics.
rtrimana [Mon, 10 Jun 2019 21:12:25 +0000 (14:12 -0700)]
Starting our own version of JPF with support for generics.

3 years agoUpgrade to gradle 5 (#190)
yuvaraj-anbarasan [Sun, 26 May 2019 09:43:13 +0000 (15:13 +0530)]
Upgrade to gradle 5 (#190)

3 years agoFix issue #187: use ubuntu trusty version for travis build environment (#189)
yuvaraj-anbarasan [Mon, 20 May 2019 06:41:32 +0000 (12:11 +0530)]
Fix issue #187: use ubuntu trusty version for travis build environment (#189)

3 years agoFix issue #186: package name (thanks to Marvinmw for the report).
Cyrille Artho [Fri, 3 May 2019 12:19:36 +0000 (14:19 +0200)]
Fix issue #186: package name (thanks to Marvinmw for the report).
modified:   src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java

3 years agoUpdated Search.java documentation (#184)
Yahya [Sun, 31 Mar 2019 11:54:16 +0000 (07:54 -0400)]
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 }

3 years agoAdd Peer for java.util.concurrent.atomic.AtomicReference (#182)
Jentsch [Sat, 30 Mar 2019 14:20:06 +0000 (15:20 +0100)]
Add Peer for java.util.concurrent.atomic.AtomicReference (#182)

3 years agoCalendar peer bug demonstration (#181)
fresheed [Fri, 29 Mar 2019 12:56:57 +0000 (15:56 +0300)]
Calendar peer bug demonstration (#181)

* added unit test demonstrating Calendar peer bug

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

3 years agoRefined and expanded the javadoc for SearchListener.java and SearchListenerAdapter...
Yahya [Mon, 25 Mar 2019 13:39:05 +0000 (09:39 -0400)]
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.

3 years agoImplements a jpf example ConcurrentCount (#177)
Manish Kumar Thakur [Mon, 25 Mar 2019 13:37:07 +0000 (06:37 -0700)]
Implements a jpf example ConcurrentCount (#177)

* Implements the jpf example ConcurrentCount

* check for concurrency issue

3 years agoUpdated Buffer and Matcher Classes (#171)
Krizhan Mariampillai [Wed, 30 Jan 2019 10:38:15 +0000 (05:38 -0500)]
Updated Buffer and Matcher Classes (#171)

3 years agoRectifies the java.lang.NoSuchMethodError when usinf printf (#172)
Manish Kumar Thakur [Tue, 29 Jan 2019 13:44:19 +0000 (19:14 +0530)]
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

3 years agoFix: else-if block was missing code, so the "user" option for console publisher was...
Cyrille Artho [Thu, 3 Jan 2019 13:25:23 +0000 (22:25 +0900)]
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).

3 years agoAdded test on redirecting stdout to a file.
Cyrille Artho [Thu, 20 Dec 2018 14:00:30 +0000 (15:00 +0100)]
Added test on redirecting stdout to a file.
modified:   src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java

3 years ago[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (...
ngocpq [Wed, 12 Dec 2018 08:55:43 +0000 (17:55 +0900)]
[fix-bug]: checking attrs is not null in method StackFrame:replaceLocalAttr( ) (#166)

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

* add test-case

3 years agoFIX: java.lang.Object should be java/lang/Object.
Cyrille Artho [Sat, 24 Nov 2018 10:17:37 +0000 (11:17 +0100)]
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.