IRC.git
10 years agoadd a new test case for inference
yeom [Thu, 22 Mar 2012 18:40:04 +0000 (18:40 +0000)]
add a new test case for inference

10 years agochanges and data/eval files for new evaluations
yeom [Wed, 21 Mar 2012 22:12:21 +0000 (22:12 +0000)]
changes and data/eval files for new evaluations

10 years agoImplement Thread.getThreadLocals() and Thread.currentThread() in MGC version
jzhou [Wed, 21 Mar 2012 12:17:41 +0000 (12:17 +0000)]
Implement Thread.getThreadLocals() and Thread.currentThread() in MGC version

10 years agoraw numbers from error injection evaluations
yeom [Fri, 9 Mar 2012 02:59:02 +0000 (02:59 +0000)]
raw numbers from error injection evaluations

10 years agoraw evaluation numbers for the mp3decoder
yeom [Wed, 7 Mar 2012 18:45:57 +0000 (18:45 +0000)]
raw evaluation numbers for the mp3decoder

10 years agoadd batch-mode script
yeom [Tue, 6 Mar 2012 02:27:32 +0000 (02:27 +0000)]
add batch-mode script

10 years agochange example for now...
bdemsky [Fri, 24 Feb 2012 22:30:21 +0000 (22:30 +0000)]
change example for now...

10 years agoadd a simplifed bh.
yeom [Fri, 24 Feb 2012 22:09:05 +0000 (22:09 +0000)]
add a simplifed bh.

10 years agochanges.
yeom [Fri, 17 Feb 2012 20:57:14 +0000 (20:57 +0000)]
changes.

10 years agoadd new compilation flag -ssjavainfer for the location inference.
yeom [Fri, 17 Feb 2012 20:12:54 +0000 (20:12 +0000)]
add new compilation flag -ssjavainfer for the location inference.

10 years agosetup some interfaces & skeleton codes for Adrian's project
yeom [Fri, 17 Feb 2012 19:59:03 +0000 (19:59 +0000)]
setup some interfaces & skeleton codes for Adrian's project

10 years agonew version of experiments
jjenista [Fri, 27 Jan 2012 18:00:48 +0000 (18:00 +0000)]
new version of experiments

10 years agomy laptop is a billion versions of bash ahead of the server, doh
jjenista [Fri, 27 Jan 2012 02:15:32 +0000 (02:15 +0000)]
my laptop is a billion versions of bash ahead of the server, doh

10 years agolittle twiddles for kmeans investigation
jjenista [Fri, 27 Jan 2012 01:14:50 +0000 (01:14 +0000)]
little twiddles for kmeans investigation

10 years agoset up to count graph elements over every final graph for every analyzed method
jjenista [Wed, 25 Jan 2012 20:42:03 +0000 (20:42 +0000)]
set up to count graph elements over every final graph for every analyzed method

10 years agoline numbers for allocation sites not propagating to flat nodes
jjenista [Wed, 25 Jan 2012 00:27:11 +0000 (00:27 +0000)]
line numbers for allocation sites not propagating to flat nodes

10 years agodidnt get what I wanted before
jjenista [Tue, 24 Jan 2012 21:49:29 +0000 (21:49 +0000)]
didnt get what I wanted before

10 years agobits to help investigate node count changing
jjenista [Tue, 24 Jan 2012 17:52:19 +0000 (17:52 +0000)]
bits to help investigate node count changing

10 years agochanges to MGC classlibrary
jzhou [Fri, 20 Jan 2012 01:54:03 +0000 (01:54 +0000)]
changes to MGC classlibrary

10 years agorunning new experiments
jjenista [Fri, 20 Jan 2012 01:42:22 +0000 (01:42 +0000)]
running new experiments

10 years agohave another way to assign a THIS LOCATION to method: using @THISLOC annotation on...
yeom [Fri, 20 Jan 2012 00:30:49 +0000 (00:30 +0000)]
have another way to assign a THIS LOCATION to method: using @THISLOC annotation on the method declaration as the example section of ssjava paper.

10 years agochanges to MGC class library
jzhou [Wed, 18 Jan 2012 01:17:20 +0000 (01:17 +0000)]
changes to MGC class library

10 years agopredicates are not feasible to flip on and off. The entire splicing mechanism for...
jjenista [Tue, 17 Jan 2012 23:24:05 +0000 (23:24 +0000)]
predicates are not feasible to flip on and off.  The entire splicing mechanism for interprocedural analysis uses predicates of callee elements to match fuse points in the caller context.  This is critical because all the caller context heap references and variables out of the callee context can commonly reference different nodes after callee analysis.  When you remove predicates and bring the entire callee context into the caller, the current system *correctly* has no fuse points for the callee elements and wouldn't reference them.

10 years agofix up summarize-per-class mode
jjenista [Tue, 17 Jan 2012 22:58:14 +0000 (22:58 +0000)]
fix up summarize-per-class mode

10 years agoget set up for experiment: test impact of disabling components
jjenista [Tue, 17 Jan 2012 19:48:51 +0000 (19:48 +0000)]
get set up for experiment: test impact of disabling components

10 years agodefreach experiment
jjenista [Mon, 9 Jan 2012 19:10:15 +0000 (19:10 +0000)]
defreach experiment

10 years agoconvergence test for defreach
jjenista [Mon, 9 Jan 2012 19:09:11 +0000 (19:09 +0000)]
convergence test for defreach

10 years agothis little example only parallelizes for oooj with defreach
jjenista [Fri, 6 Jan 2012 23:41:12 +0000 (23:41 +0000)]
this little example only parallelizes for oooj with defreach

10 years agoadd System.nanoTimes() support in MGC version
jzhou [Fri, 6 Jan 2012 22:21:16 +0000 (22:21 +0000)]
add System.nanoTimes() support in MGC version

10 years agoget this dir too
jjenista [Fri, 6 Jan 2012 21:44:49 +0000 (21:44 +0000)]
get this dir too

10 years agonot working out like I wanted
jjenista [Fri, 6 Jan 2012 19:02:29 +0000 (19:02 +0000)]
not working out like I wanted

10 years agoa useful example that needs defreach
jjenista [Fri, 6 Jan 2012 18:14:26 +0000 (18:14 +0000)]
a useful example that needs defreach

10 years agotweaks for running definite reach
jjenista [Fri, 6 Jan 2012 18:13:30 +0000 (18:13 +0000)]
tweaks for running definite reach

10 years agoremove the '$' in the C code as tilera does not allow it
jzhou [Thu, 5 Jan 2012 01:26:50 +0000 (01:26 +0000)]
remove the '$' in the C code as tilera does not allow it

10 years agoremove the '$' in the C code as tilera does not allow it
jzhou [Wed, 4 Jan 2012 01:25:14 +0000 (01:25 +0000)]
remove the '$' in the C code as tilera does not allow it

10 years agoaccidentally changed this makefile, roll it back
jzhou [Fri, 30 Dec 2011 00:21:56 +0000 (00:21 +0000)]
accidentally changed this makefile, roll it back

10 years agochanges to classes
jzhou [Fri, 30 Dec 2011 00:18:30 +0000 (00:18 +0000)]
changes to classes

10 years agochanges to MGC class library
jzhou [Wed, 28 Dec 2011 00:48:54 +0000 (00:48 +0000)]
changes to MGC class library

10 years agoAnother bug fix for inner class code: when trying to find a field in the surrounding...
jzhou [Wed, 21 Dec 2011 02:00:30 +0000 (02:00 +0000)]
Another bug fix for inner class code: when trying to find a field in the surrounding classes, the this was wrongly constructred.

10 years agoFix some inner class related bugs: 1) whenever a class is added into the class list...
jzhou [Tue, 20 Dec 2011 00:15:20 +0000 (00:15 +0000)]
Fix some inner class related bugs: 1) whenever a class is added into the class list of state, it should check its inner class list to do addOuterClassParam() and addOuterClassReferences() operations, previously a lot of this checking is missing 2) previously the ith lexically enclosing instance for a deeply nested inner class was wrongly passed in to the inner class' constructor

10 years agotest case for the ownership checking
yeom [Fri, 16 Dec 2011 19:58:12 +0000 (19:58 +0000)]
test case for the ownership checking

10 years agochanges to MGC class library
jzhou [Fri, 16 Dec 2011 01:42:49 +0000 (01:42 +0000)]
changes to MGC class library

10 years agoFinally, all benchmarks pass the definitely written analysis
yeom [Thu, 15 Dec 2011 21:57:19 +0000 (21:57 +0000)]
Finally, all benchmarks pass the definitely written analysis

10 years agoNew shared loc analysis found a shared location that is not overwritten completely...
yeom [Thu, 15 Dec 2011 21:32:43 +0000 (21:32 +0000)]
New shared loc analysis found a shared location that is not overwritten completely in the synthesis filter. Decoder adds input samples to the Synthesis Filter in circular fashion, which means it needs to keep the last position of the previous loop of the decode to the circular queue. However, the value of start index does not matter because the synthesis filter resumes a normal behavior, as long as data is added to the synthesis filter in a row. Therefore, a workaround solution is that BitStream, which is trusted to ss, assigns the index of header that is incremented by one, and then the decoder overwrites the location of the last position in the Synthesis Filter using the header index. Even the header index value is corrupted, the synthesis filter will resume because BitStream is going to providing following headers.

10 years agochanges to MGC class library
jzhou [Thu, 15 Dec 2011 02:07:29 +0000 (02:07 +0000)]
changes to MGC class library

10 years agoassociate assignment nodes that writes to the same height location with corresponding...
yeom [Thu, 15 Dec 2011 01:27:15 +0000 (01:27 +0000)]
associate assignment nodes that writes to the same height location with corresponding flat nodes in order to check  definitely written rules easily.

10 years agofix mp3decoder: clear memory locations that are not overwritten.
yeom [Thu, 15 Dec 2011 01:21:45 +0000 (01:21 +0000)]
fix mp3decoder: clear memory locations that are not overwritten.

10 years agochanges to MGC class library
jzhou [Wed, 14 Dec 2011 01:38:54 +0000 (01:38 +0000)]
changes to MGC class library

10 years agochanges.
yeom [Tue, 13 Dec 2011 01:43:14 +0000 (01:43 +0000)]
changes.

10 years agoChanges to MGC class library and some missing unit test files for inner class
jzhou [Tue, 13 Dec 2011 01:02:51 +0000 (01:02 +0000)]
Changes to MGC class library and some missing unit test files for inner class

10 years agofix another bug: callee propagated wrong write effects associated with its local...
yeom [Mon, 12 Dec 2011 19:51:01 +0000 (19:51 +0000)]
fix another bug: callee propagated wrong write effects associated with its local vars to the caller's may-write set.

10 years agomore changes, but still broken with mp3decoder
yeom [Mon, 12 Dec 2011 01:18:55 +0000 (01:18 +0000)]
more changes, but still broken with mp3decoder

10 years agoChanges to MGC class library and fix a bug regarding nested inline class declaration
jzhou [Sat, 10 Dec 2011 01:24:01 +0000 (01:24 +0000)]
Changes to MGC class library and fix a bug regarding nested inline class declaration

10 years agochanges.
yeom [Sat, 10 Dec 2011 00:17:50 +0000 (00:17 +0000)]
changes.

10 years agofix a nasty bug: writes on local array elements was treated as field writes.
yeom [Fri, 9 Dec 2011 02:28:27 +0000 (02:28 +0000)]
fix a nasty bug: writes on local array elements was treated as field writes.

10 years agofix heap path propagation and generate error msg with more information
yeom [Thu, 8 Dec 2011 02:10:50 +0000 (02:10 +0000)]
fix heap path propagation and generate error msg with more information

10 years agochanges to MGC class library
jzhou [Wed, 7 Dec 2011 01:16:50 +0000 (01:16 +0000)]
changes to MGC class library

10 years agochanges while trying to compile MP3Decoder
yeom [Tue, 6 Dec 2011 18:05:50 +0000 (18:05 +0000)]
changes while trying to compile MP3Decoder

10 years agochanges for getting the right path of static references
yeom [Tue, 6 Dec 2011 00:35:11 +0000 (00:35 +0000)]
changes for getting  the right path of static references

10 years agonew analysis found one shared location that is not overwritten in the eyetracking...
yeom [Tue, 6 Dec 2011 00:00:35 +0000 (00:00 +0000)]
new analysis found one shared location that is not overwritten in the eyetracking benchmark, fixed it.

10 years agofixes on analyses to compile the eyetracking benchmark
yeom [Mon, 5 Dec 2011 23:57:49 +0000 (23:57 +0000)]
fixes on analyses to compile the eyetracking benchmark

10 years agofixes
yeom [Mon, 5 Dec 2011 18:10:30 +0000 (18:10 +0000)]
fixes

10 years agoit has passed test cases
yeom [Sat, 3 Dec 2011 01:44:20 +0000 (01:44 +0000)]
it has passed test cases

10 years agoFix another inner class bug: every inner class along the inherited chain has a pointe...
jzhou [Sat, 3 Dec 2011 01:42:41 +0000 (01:42 +0000)]
Fix another inner class bug: every inner class along the inherited chain has a pointer to its enclosing class; If an inner class inherits from another inner class, when it calls the constructor of its super class, it passes in its enclosing class for the superenclosing class by default

10 years agoget the right cover set wrt shared location path.
yeom [Fri, 2 Dec 2011 19:56:03 +0000 (19:56 +0000)]
get the right cover set wrt shared location path.
working on transfuncs for event loop analysis.

10 years agofix problems of shared loc extension
yeom [Thu, 1 Dec 2011 20:38:19 +0000 (20:38 +0000)]
fix problems of shared loc extension

10 years agochanges.
yeom [Thu, 1 Dec 2011 02:04:35 +0000 (02:04 +0000)]
changes.

10 years agoAccording to Brian's comments, check the lside of assignment operation first to get...
jzhou [Wed, 30 Nov 2011 20:09:12 +0000 (20:09 +0000)]
According to Brian's comments, check the lside of assignment operation first to get its type. Then use that type to check the array initialization node.

10 years agomore changes.
yeom [Wed, 30 Nov 2011 00:50:58 +0000 (00:50 +0000)]
more changes.

10 years agoArray field initialization was accidentally broken. Fix it and add ArrayInitializerTe...
jzhou [Tue, 29 Nov 2011 20:47:41 +0000 (20:47 +0000)]
Array field initialization was accidentally broken. Fix it and add ArrayInitializerTest into the unit test suit in case it is broken again

10 years agohave n-to-1 mapping from location paths to a set of may-written shared descriptors.
yeom [Tue, 29 Nov 2011 20:07:16 +0000 (20:07 +0000)]
have n-to-1 mapping from location paths to a set of may-written shared descriptors.
every call site propagates a set of may-written shared descriptors to the caller's arg location paths.
if an argument is bound to the callee's parameter leading to a write effect on shared locations, the corresponding location path that is started with the callee's param location will be bound to the caller's arg location path.
For example, suppose that caller has an arg with location path <A,B> and corresponding callee has param with location <L,C>. If the param leads to an write effect on shared location "F" through the location path <L,C,D,E>, the caller will have an write effect on F with the location path <A,B,C,D,E>.

10 years agoFix a small bug about enumaration type: it should be able to recorgnize access patter...
jzhou [Tue, 29 Nov 2011 01:00:40 +0000 (01:00 +0000)]
Fix a small bug about enumaration type: it should be able to recorgnize access pattern like Classname.EnumName.X

10 years agochanges
jzhou [Thu, 24 Nov 2011 00:44:20 +0000 (00:44 +0000)]
changes

10 years agoFix another inner class bug: an inner class which is declared in a *static context...
jzhou [Wed, 23 Nov 2011 00:25:49 +0000 (00:25 +0000)]
Fix another inner class bug: an inner class which is declared in a *static context* should not have lexically enclosing instances, instead, if it is immediately declared within a static method or static initializer then the inner class does have an enclosing block, which is the innermost block statement lexically enclosing the declaration of the inner class.

10 years agoworking on shared loc extension: need to keep additional mappings from shared loc...
yeom [Tue, 22 Nov 2011 19:15:28 +0000 (19:15 +0000)]
working on shared loc extension: need to keep additional mappings from shared loc composite location to a set of may written descriptors.

10 years agofix some MGC classes
jzhou [Sat, 19 Nov 2011 00:57:39 +0000 (00:57 +0000)]
fix some MGC classes

10 years agovector resize isn't a problem, even without definite reachability, because we have...
jjenista [Fri, 18 Nov 2011 21:41:47 +0000 (21:41 +0000)]
vector resize isn't a problem, even without definite reachability, because we have a special case of def reach just for array references

10 years agoclass library changes
jzhou [Fri, 18 Nov 2011 00:41:22 +0000 (00:41 +0000)]
class library changes

10 years agofixed double negate bug, 3rd case of def reach works now
jjenista [Fri, 18 Nov 2011 00:11:32 +0000 (00:11 +0000)]
fixed double negate bug, 3rd case of def reach works now

10 years agocase 3 of definite reach, all coded but has bugs because test case does the messy...
jjenista [Thu, 17 Nov 2011 23:31:18 +0000 (23:31 +0000)]
case 3 of definite reach, all coded but has bugs because test case does the messy store anyway still

10 years agoa missing check
jzhou [Tue, 15 Nov 2011 20:45:39 +0000 (20:45 +0000)]
a missing check

10 years agoBug fix of inner class: only add LIVE local variables that are referred to in an...
jzhou [Tue, 15 Nov 2011 20:10:26 +0000 (20:10 +0000)]
Bug fix of inner class: only add LIVE local variables that are referred to in an anonymous inner class into the inner class' fields. Previously we add all the local variables into an anonymous inner class which could be buggy. Also add a super(...) invocation into the anonymous constructor of an anonymous inner class according to the Java spec.

10 years agoAdd a new feature for inner class: an anonymous inner class can now refer to the...
jzhou [Tue, 15 Nov 2011 00:41:04 +0000 (00:41 +0000)]
Add a new feature for inner class: an anonymous inner class can now refer to the local variables in its defintion context. The fix is not completely apply to Java specification in that we do not check if the local variables are final. According to the Java spec, only final variables can be referred to by the snonymous inner class

10 years agoworking on shared loc extension
yeom [Mon, 14 Nov 2011 22:27:01 +0000 (22:27 +0000)]
working on shared loc extension

10 years agoNeed a new inner class feature: let the anonymous inner class be able to access local...
jzhou [Sat, 12 Nov 2011 00:34:57 +0000 (00:34 +0000)]
Need a new inner class feature: let the anonymous inner class be able to access local variable that is final. Add test about this new feature into the unit test of inner class. This feature is not implemented yet. So disable the inner test in Tests/DoTest temorarily. Will add it back when our compiler can pass this unit test. And it seems that the this___enclosing field of inner classes is no longer used, disable it. Add a new method valueOf(int) into Interger class

10 years agoMake the compiler to support super.X/L.super.X which access super class' fields....
jzhou [Fri, 11 Nov 2011 21:08:41 +0000 (21:08 +0000)]
Make the compiler to support super.X/L.super.X which access super class' fields. We might still not be able to correctly support access to super class' methods like super.foo(). Also fix another nested class bug. Previously the unit test StaticInnerClassTest was broken because of newly added inner class support. Note that nested class (static inner class) should NOT have reference to its surrounding class in its constructor as it is static and can be created without any outer class instance.

10 years agoworking on the written check.
yeom [Fri, 11 Nov 2011 01:36:58 +0000 (01:36 +0000)]
working on the written check.

10 years agogot 2nd case of def reach up and running, one to go
jjenista [Fri, 11 Nov 2011 00:38:51 +0000 (00:38 +0000)]
got 2nd case of def reach up and running, one to go

10 years agoFix inner class implementation. Now code like inner.this.X/outer.this.X work correctl...
jzhou [Fri, 11 Nov 2011 00:18:09 +0000 (00:18 +0000)]
Fix inner class implementation. Now code like inner.this.X/outer.this.X work correctly. And the inner class can correctly refer to the fields/methods defined in the surrounding class.

10 years agochange the email list...stop spamming people
bdemsky [Thu, 10 Nov 2011 20:18:38 +0000 (20:18 +0000)]
change the email list...stop spamming people

10 years agoChange back the inner class test case
jzhou [Thu, 10 Nov 2011 19:47:42 +0000 (19:47 +0000)]
Change back the inner class test case

10 years agoFix inner class bug: the inner class cannot correctly refer to outer class' fields...
jzhou [Thu, 10 Nov 2011 19:33:30 +0000 (19:33 +0000)]
Fix inner class bug: the inner class cannot correctly refer to outer class' fields/methods and cannot refre to its super class' fields too

10 years agoworking on the second case where definite reach can improve results
jjenista [Thu, 10 Nov 2011 18:59:04 +0000 (18:59 +0000)]
working on the second case where definite reach can improve results

10 years agoAWESOME. Used just the R relation of definite reach to successfully improve the...
jjenista [Thu, 10 Nov 2011 00:38:35 +0000 (00:38 +0000)]
AWESOME.  Used just the R relation of definite reach to successfully improve the reachability results of a simple example

10 years agosuccessfully keep def reach info just for the store transform
jjenista [Thu, 10 Nov 2011 00:16:50 +0000 (00:16 +0000)]
successfully keep def reach info just for the store transform

10 years agobug fix: retrieve by full key returned empty set, now correct
jjenista [Thu, 10 Nov 2011 00:09:42 +0000 (00:09 +0000)]
bug fix: retrieve by full key returned empty set, now correct

10 years agoUpdating the test case files
spikeuci [Wed, 9 Nov 2011 02:16:25 +0000 (02:16 +0000)]
Updating the test case files

10 years agoHandling the case NAME DOT THIS for inner classes
spikeuci [Wed, 9 Nov 2011 02:14:53 +0000 (02:14 +0000)]
Handling the case NAME DOT THIS for inner classes

10 years agodef reach has to use PointerMethod to detect CFG edges that the analysis cares about
jjenista [Wed, 9 Nov 2011 00:34:10 +0000 (00:34 +0000)]
def reach has to use PointerMethod to detect CFG edges that the analysis cares about

10 years agofix silly off-by-one bug
jjenista [Tue, 8 Nov 2011 22:14:12 +0000 (22:14 +0000)]
fix silly off-by-one bug