fix problems of shared loc extension

changes.

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.

more changes.

Array field initialization was accidentally broken. Fix it and add ArrayInitializerTest into the unit test suit in case it is broken again

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

Fix a small bug about enumaration type: it should be able to recorgnize access pattern like Classname.EnumName.X

changes

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.

working on shared loc extension: need to keep additional mappings from shared loc composite location to a set of may written descriptors.

fix some MGC classes

vector resize isn't a problem, even without definite reachability, because we have a special case of def reach just for array references

class library changes

fixed double negate bug, 3rd case of def reach works now

case 3 of definite reach, all coded but has bugs because test case does the messy store anyway still

a missing check

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.

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

working on shared loc extension

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

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.

working on the written check.

got 2nd case of def reach up and running, one to go

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.

change the email list...stop spamming people

Change back the inner class test case

Fix inner class bug: the inner class cannot correctly refer to outer class' fields/methods and cannot refre to its super class' fields too

working on the second case where definite reach can improve results

AWESOME.  Used just the R relation of definite reach to successfully improve the reachability results of a simple example

successfully keep def reach info just for the store transform

bug fix: retrieve by full key returned empty set, now correct

Updating the test case files

Handling the case NAME DOT THIS for inner classes

def reach has to use PointerMethod to detect CFG edges that the analysis cares about

fix silly off-by-one bug

push a bunch of old changes i had related to inner classes and such...  hope this doesn't break anything for anyone

found a bug, results still empty

transfer funcs for the R relation of def reach coded, but buggy, results are empty

fix: the callee can return only its owned obj

add evaluation files

forgot to commit

Bug fixed

This completes the barebones versions of inner class, we are now able to access fields of surrounding classes in any level, need to check for compatibility with language spec especially use of statics and so forth

update location identifier according to changes of class structure

bug fix:
the last changes for another benchmark causes a problem to mp3decoder: field access through the chain of array generates the composite location with one missing component.

looks like the output is Left and Right channels interleaved, only sample one for pretty graphs

make it easy to collect data for the paper's error injection figure

exploring error injection space

the static inner classes are not being used, but Subu's work is seeing them and complaining, so I moved them out.  Also twiddled the Player code to generate a normal and error output sampling for experiments, WITHOUT SSJAVA notation, so the analysis won't run on this benchmark at the moment

tweak scripts to take mp3 filename argument

restrict error injection to non-array primitive types so we can use a random value instead of zero to get a wackier program behavior deviation

add longer mp3 file for test

def reach coming along

implementing def reach transfer funcs for R

Checking in the test cases

As discussed with Prof. Demsky/Jim, the constructor of inner class now by default takes the surrounding class arg based on the scope and the block statement for initializing is also set up. TODO: redirect inner class references to surrounding class. the test case substituting thisbash.outerclass works in the current build

decouple ssjava code gen to prevent crashes from the analysis, so we can turn it on just for error injection

automate trying different error probabilities and seeds

instrument an injected error and plot differences in output samples

hacks

some extras for multiviewmaps

Please don't check in debug lines, por favor :)

a start on error inject for SSJava

moves MP3Decoder codes to Benchmark directory

going to start with just enough definite reach analysis to do a simple example

added array access inference

Some changes for signature of constructor of inner classes, need to add assignment

Fixed a bug, added switch statement support

changed treenode tag to blockstatementnode tag

adds global, this, and static tags for var id

a short, clear example that definite reachability will improve the analysis of

Step 1: Creating instances of all levels of enclosing classes in an inner class. TODO need to populate them while actually creating the inner class and indirect all accesses as necessay

More changes for Galois

OoOJava benchmarks, including barnes-hut NOT parallelizing, are in working order

Forgot to add the OoOJava-specific class directory

Bug fix, sometimes an edge matches except it has a different type of source node, so check for that instead of blindly casting and causing an exception

Allow buildscript user to set the compiler's JVM heap size, so you can set it differently for different hosts

move heap size of output program into the benchmark-specific makefile

Adding support for default constructor to be created in case ctor is not found

*** empty log message ***

More classes for galois

fix a bug for Taint similar to ReachState, when either is an element of an ExistPred, SCRUB the preds on the taint and reach state before adding it, and within ExistPred use the equalsIgnorePreds and hashCodeNoPreds variants

accidentally commited tinker code yesterday

changes

extend test

inner class test case

Bug fix, subtle errors in exist pred hashcode, and a cycle pred.hashCode to state.hashCode and back

a test that exposed a cyclic hashcode bug and some related minor bugs

A test that exposed the bug that I just fixed

the bug I've been chasing, a critical one-letter typo, GAH

double-check the context conversions of out-of-context node names

slight code improvements

SSJava runtime support

Changes for galois porting

More classes for galois

annotated version.

bug fix.

add input sensor data file

makefile

start new benchmark JavaNator.