changes.

changes.

changes: building field/method hierarchy graph + inserting combination nodes at the point where flows from skeleton nodes(params/fields) are actually combined.

change

changes.

changes.

changes.

generate annotated source code again but it's still not the correct one...

changes.

changes.

reformat benchmark source codes to meet the requirements of the annotation generation.

changes + annotation generation

changes.

bug fixes on the flow graph.

changes.

changes.

changes.

changes.

changes.

changes.

more changes.

changes.

fixed another problem of the flow-down check. If an assignment statement has OP+EQ operator(eg,+=,*=), calculate GLB of LHS & RHS and then assign it as the location type of RHS. + annotation fixes according to fix.

add PCLOC annotations. all three benchmarks are type-checked now.

Allow to declare a composite location for the initial program counter location.

The developer can declare the program counter location as a composite location that  starts with the location type of the current object 'this'. It provides more specific constraints on value flows between fields in the current object.

implemented PCLOC annotation.

fix.

changes on the inference engine.

add source code that does not have location annotations.

changes.

changes.

a bunch of fixes.

implemented a fixed point based interprocedural analysis that analyzes flow-graphs and construct a lattice for each method.

Initialize class objects first as in the staic blocks there might be references to the class objects

remove Input file related stuff from the compiler and runtime system

keep a copy of my current dissertation example to investiaget further and another one to just fix and use

Fix bugs: 1) reorder the initialization of static fields and the execution of static blocks to make sure that a class' static fields/blocks are initialized/executed after those of its super classes' 2) fix compile problem of FileInputStream.nativeOpen()

Bug fix, the compressed version of input files can work now

Add compressed version of input files, still have bugs

Enable the nextDoublt() call for reading input files

Changes for reading input files in MGC version

changes for reading input files

changes for reading input files

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