Changes for reading input files in MGC version

more implementation for the inference: propagating relations of callee parameters to the caller's lattice

run-doj-validation-test.sh: a single script that performs validation tests for all DOJ benchmarks.

Fix the bug in the variable analysis: When we define nested tasks, the task liveness analysis computes a wrong inset/outset. The new analysis computes liveness for each task and keeps the local view of liveness rather than doing the global liveness computation and taking  special care with nested task enter/exit nodes.

Fix the thread safe problem

Fix the thread safe problem

Changes for galois

Fix: need to keep the number of allocation site for the heap examiner. Somehow the code that assigns the alloc# to the corresponding variable was commented out. Toggle the comment. Now the Barneshut works fine.

fixes to remove compilation warnings. now DOJ works fine with the Voronoi.

fix: the return value declarations were missing in some method declarations in the LinkedList class. so curious about how it could work well without having a compilation error.

bug fix: The result of the pointer analysis is broken when it tries to do something for a flat literal node. Since the modeling of a flat literal node is only required for the additional runtime check which verifies the allocation site of objects pointed to(+ it has not yet fully implemented), no problem to turn it off. Turn back to the same way of the OOPSLA DOJ version.

changes on the SJava inference

more changes.

changes.

changes.

start implementing basic approach

the parallel implementation doesn't achieve much because there isn't enough work to do

changes for galois

changes on inference

add a new test case for inference

changes and data/eval files for new evaluations

Implement Thread.getThreadLocals() and Thread.currentThread() in MGC version

raw numbers from error injection evaluations

raw evaluation numbers for the mp3decoder

add batch-mode script

change example for now...

add a simplifed bh.

changes.

add new compilation flag -ssjavainfer for the location inference.

setup some interfaces & skeleton codes for Adrian's project

new version of experiments

my laptop is a billion versions of bash ahead of the server, doh

little twiddles for kmeans investigation

set up to count graph elements over every final graph for every analyzed method

line numbers for allocation sites not propagating to flat nodes

didnt get what I wanted before

bits to help investigate node count changing

changes to MGC classlibrary

running new experiments

have another way to assign a THIS LOCATION to method: using @THISLOC annotation on the method declaration as the example section of ssjava paper.

changes to MGC class library

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.

fix up summarize-per-class mode

get set up for experiment: test impact of disabling components

defreach experiment

convergence test for defreach

this little example only parallelizes for oooj with defreach

add System.nanoTimes() support in MGC version

get this dir too

not working out like I wanted

a useful example that needs defreach

tweaks for running definite reach

remove the '$' in the C code as tilera does not allow it

remove the '$' in the C code as tilera does not allow it

accidentally changed this makefile, roll it back

changes to classes

changes to MGC class library

Another bug fix for inner class code: when trying to find a field in the surrounding classes, the this was wrongly constructred.

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

test case for the ownership checking

changes to MGC class library

Finally, all benchmarks pass the definitely written analysis

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.

changes to MGC class library

associate assignment nodes that writes to the same height location with corresponding flat nodes in order to check  definitely written rules easily.

fix mp3decoder: clear memory locations that are not overwritten.

changes to MGC class library

changes.

Changes to MGC class library and some missing unit test files for inner class

fix another bug: callee propagated wrong write effects associated with its local vars to the caller's may-write set.

more changes, but still broken with mp3decoder

Changes to MGC class library and fix a bug regarding nested inline class declaration

changes.

fix a nasty bug: writes on local array elements was treated as field writes.

fix heap path propagation and generate error msg with more information

changes to MGC class library

changes while trying to compile MP3Decoder

changes for getting  the right path of static references

new analysis found one shared location that is not overwritten in the eyetracking benchmark, fixed it.

fixes on analyses to compile the eyetracking benchmark

fixes

it has passed test cases

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

get the right cover set wrt shared location path.
working on transfuncs for event loop analysis.

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