jpf-core.git
2 years agoA change in propagate the change method
Seyed Amir Hossein Aqajari [Fri, 6 Dec 2019 22:46:04 +0000 (14:46 -0800)]
A change in propagate the change method

2 years agoMake the analysis more efficient
Seyed Amir Hossein Aqajari [Fri, 6 Dec 2019 20:46:02 +0000 (12:46 -0800)]
Make the analysis more efficient

2 years agoFixing a small bug in Conflict Tracker
Seyed Amir Hossein Aqajari [Fri, 6 Dec 2019 20:36:29 +0000 (12:36 -0800)]
Fixing a small bug in Conflict Tracker

2 years agoFixing bugs in Conflict Tracker
Seyed Amir Hossein Aqajari [Thu, 5 Dec 2019 23:40:05 +0000 (15:40 -0800)]
Fixing bugs in Conflict Tracker

2 years agoFixing a bug
Seyed Amir Hossein Aqajari [Thu, 5 Dec 2019 22:48:15 +0000 (14:48 -0800)]
Fixing a bug

2 years agoFixing a bug in checkForConflict method in Conflict Tracker analysis!
Seyed Amir Hossein Aqajari [Thu, 5 Dec 2019 22:45:43 +0000 (14:45 -0800)]
Fixing a bug in checkForConflict method in Conflict Tracker analysis!

2 years agoFixing a bug in manual_write-non_conflict + setSet conflicts
Seyed Amir Hossein Aqajari [Thu, 5 Dec 2019 22:15:39 +0000 (14:15 -0800)]
Fixing a bug in manual_write-non_conflict + setSet conflicts

2 years agoFixing a bug in Conflict Tracker analysis
Seyed Amir Hossein Aqajari [Thu, 5 Dec 2019 19:47:54 +0000 (11:47 -0800)]
Fixing a bug in Conflict Tracker analysis

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
rtrimana [Wed, 4 Dec 2019 21:20:19 +0000 (13:20 -0800)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoFixing bug: completing missing/unexplored event combinations.
rtrimana [Wed, 4 Dec 2019 21:20:00 +0000 (13:20 -0800)]
Fixing bug: completing missing/unexplored event combinations.

2 years agoChange in Analysis
amiraj [Wed, 4 Dec 2019 02:21:11 +0000 (18:21 -0800)]
Change in Analysis

2 years agoChange in conflict tracker!
amiraj [Wed, 4 Dec 2019 02:11:52 +0000 (18:11 -0800)]
Change in conflict tracker!

2 years agoChange in listener
amiraj [Tue, 3 Dec 2019 23:38:23 +0000 (15:38 -0800)]
Change in listener

2 years agoChange in the Conflict Tracker analysis
amiraj [Tue, 3 Dec 2019 22:31:21 +0000 (14:31 -0800)]
Change in the Conflict Tracker analysis

2 years agoA minor change in ConflictTracker.java
Seyed Amir Hossein Aqajari [Thu, 21 Nov 2019 01:27:46 +0000 (17:27 -0800)]
A minor change in ConflictTracker.java

2 years agoMinor bug fix in ConflictTracker.java
Seyed Amir Hossein Aqajari [Mon, 18 Nov 2019 23:47:44 +0000 (15:47 -0800)]
Minor bug fix in ConflictTracker.java

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
Seyed Amir Hossein Aqajari [Mon, 18 Nov 2019 23:33:03 +0000 (15:33 -0800)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoFixing a bug in ConflictTracker.java
Seyed Amir Hossein Aqajari [Mon, 18 Nov 2019 23:32:35 +0000 (15:32 -0800)]
Fixing a bug in ConflictTracker.java

2 years agoCode refactoring for sleep set and persistent set analyses.
rtrimana [Mon, 18 Nov 2019 21:08:29 +0000 (13:08 -0800)]
Code refactoring for sleep set and persistent set analyses.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
rtrimana [Fri, 15 Nov 2019 23:22:22 +0000 (15:22 -0800)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoImplementing the sleep-set technique for the previous version to explore less combina...
rtrimana [Fri, 15 Nov 2019 23:22:03 +0000 (15:22 -0800)]
Implementing the sleep-set technique for the previous version to explore less combinations of events.

2 years agoMinor changes in ConflictTracker
Seyed Amir Hossein Aqajari [Fri, 15 Nov 2019 19:44:01 +0000 (11:44 -0800)]
Minor changes in ConflictTracker

2 years agoFix a bug in ConflictTracker
Seyed Amir Hossein Aqajari [Thu, 14 Nov 2019 21:31:16 +0000 (13:31 -0800)]
Fix a bug in ConflictTracker

2 years agoFix a bug in ConflictTracker.java
amiraj [Thu, 14 Nov 2019 19:21:53 +0000 (11:21 -0800)]
Fix a bug in ConflictTracker.java

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
rtrimana [Tue, 12 Nov 2019 21:32:16 +0000 (13:32 -0800)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoChecking in (1) StateReducer, and (2) StateReducerEfficient; ISSUE: the StateReducerE...
rtrimana [Tue, 12 Nov 2019 21:32:02 +0000 (13:32 -0800)]
Checking in (1) StateReducer, and (2) StateReducerEfficient; ISSUE: the StateReducerEfficient doesn't traverse the sub-graphs completely and JPF ignores some of the child CGs---incomplete POR.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
amiraj [Thu, 7 Nov 2019 00:08:22 +0000 (16:08 -0800)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoMake some changes in ConflictTracker listener.
amiraj [Thu, 7 Nov 2019 00:06:15 +0000 (16:06 -0800)]
Make some changes in ConflictTracker listener.

2 years agoFixing a bug: wrong CGs were reset when recursing into a sub-graph.
rtrimana [Wed, 6 Nov 2019 19:41:20 +0000 (11:41 -0800)]
Fixing a bug: wrong CGs were reset when recursing into a sub-graph.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
rtrimana [Tue, 5 Nov 2019 21:41:04 +0000 (13:41 -0800)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoCompleting POR implementation with complete recursions.
rtrimana [Tue, 5 Nov 2019 21:40:48 +0000 (13:40 -0800)]
Completing POR implementation with complete recursions.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
amiraj [Thu, 24 Oct 2019 23:17:21 +0000 (16:17 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoModifying conflict tracker
amiraj [Thu, 24 Oct 2019 23:16:47 +0000 (16:16 -0700)]
Modifying conflict tracker

2 years agoFurther excluding infrastructure/library field accesses.
rtrimana [Wed, 23 Oct 2019 19:19:08 +0000 (12:19 -0700)]
Further excluding infrastructure/library field accesses.

2 years agoFixing issues: counter bugs, object ID comparison, exclusion of non-event and non...
rtrimana [Tue, 22 Oct 2019 21:17:40 +0000 (14:17 -0700)]
Fixing issues: counter bugs, object ID comparison, exclusion of non-event and non-app field sharing.

2 years agoMerge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core
rtrimana [Mon, 21 Oct 2019 20:52:13 +0000 (13:52 -0700)]
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

2 years agoAdding more restrictions in conflict analysis: not to analyze fields from the Groovy...
rtrimana [Mon, 21 Oct 2019 20:51:52 +0000 (13:51 -0700)]
Adding more restrictions in conflict analysis: not to analyze fields from the Groovy library.

2 years agoFixing a bug in ConflictTracker.java
amiraj [Fri, 18 Oct 2019 22:46:55 +0000 (15:46 -0700)]
Fixing a bug in ConflictTracker.java

2 years agoDetecting location mode read/write using the old method.
rtrimana [Fri, 18 Oct 2019 20:22:29 +0000 (13:22 -0700)]
Detecting location mode read/write using the old method.

2 years agoFixing a bug in listener!
amiraj [Fri, 18 Oct 2019 18:19:16 +0000 (11:19 -0700)]
Fixing a bug in listener!

2 years agoAdd required variables of the new listener to the config file.
amiraj [Thu, 17 Oct 2019 19:33:53 +0000 (12:33 -0700)]
Add required variables of the new listener to the config file.

2 years agoAdd the ConflictTracker to the main branch
amiraj [Thu, 17 Oct 2019 19:16:51 +0000 (12:16 -0700)]
Add the ConflictTracker to the main branch

2 years agoMore subtle changes to config file and state reducer listener.
rtrimana [Wed, 16 Oct 2019 23:40:04 +0000 (16:40 -0700)]
More subtle changes to config file and state reducer listener.

2 years agoFixing a few bugs. Still need to check for the backtrack analysis.
rtrimana [Wed, 16 Oct 2019 18:52:22 +0000 (11:52 -0700)]
Fixing a few bugs. Still need to check for the backtrack analysis.

2 years agoFirst version of POR; need to double check the backtrack set analysis.
rtrimana [Tue, 15 Oct 2019 22:04:51 +0000 (15:04 -0700)]
First version of POR; need to double check the backtrack set analysis.

2 years agoAdding more state reduction analysis.
rtrimana [Fri, 27 Sep 2019 22:04:28 +0000 (15:04 -0700)]
Adding more state reduction analysis.

2 years agoAdding the option to activate beam search: a HeuristicSearch with a state queue that...
rtrimana [Thu, 26 Sep 2019 21:04:01 +0000 (14:04 -0700)]
Adding the option to activate beam search: a HeuristicSearch with a state queue that is reset at each level.

2 years agoFixing a typo in option name.
rtrimana [Thu, 26 Sep 2019 20:32:38 +0000 (13:32 -0700)]
Fixing a typo in option name.

2 years agoUpdating main.jpf; Cleaning up the StateReducer.
rtrimana [Wed, 25 Sep 2019 20:52:48 +0000 (13:52 -0700)]
Updating main.jpf; Cleaning up the StateReducer.

2 years agoFirst version of the StateReducer class.
rtrimana [Wed, 25 Sep 2019 17:58:25 +0000 (10:58 -0700)]
First version of the StateReducer class.

2 years agoAdding cameras.
rtrimana [Sun, 11 Aug 2019 00:27:02 +0000 (17:27 -0700)]
Adding cameras.

2 years agoChecking for null value before storing the first write.
rtrimana [Thu, 8 Aug 2019 22:06:15 +0000 (15:06 -0700)]
Checking for null value before storing the first write.

2 years agoChanging main.jpf
rtrimana [Thu, 8 Aug 2019 17:17:54 +0000 (10:17 -0700)]
Changing main.jpf

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

2 years agoAdding a new variable.
rtrimana [Thu, 8 Aug 2019 06:50:25 +0000 (23:50 -0700)]
Adding a new variable.

2 years agoAdding a new conflict variable.
rtrimana [Thu, 8 Aug 2019 05:55:25 +0000 (22:55 -0700)]
Adding a new conflict variable.

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.

3 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.

3 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

3 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[].

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

3 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.

3 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.

3 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.