changes: generated annotated code but it still causes type errors + re-formatting of the benchmark for generating annotated version.

changes + add two more benchmarks without annotations

changes: missing nodes in SC graph

changes.

changes.

changes: mainly fixed problems of a tertiary node, pc loc checking, flow edges of array/index expressions.

changes.

changes.

changes.

changes.

changes.

changes: fixes the case that a shared location appears in the middle of a composite location.

addressing two problems in the composite location generation: 1) when a parameter has a composite location which starts with the 'this' reference, we need to add a ordering constraints s.t. the corresponding argument is higher than the parameter composite location in the global value flow, which might cause structure changes of the global flow graph 2) when a callee assigns a new composite location to the return value, we need to changes ordering relations of the global flow graph.

changes on the composite location generation (but still it doesn't work) & found bugs in the type checker + fixed annotations

changes on global composite assignment translation and pcloc generation

changes.

changes.

bug fixes + generating PC/RETURNLOC in a flow graph

fixes on PCLOC generation, intermediate node insertion, etc...

changes: fix all problems of mapping between a flow node/hierarchy node to a lattice element

changes.

changes to pass the location type check.

remove people from spam list

changes.

changes.

changes: now it generates simple lattice without having intermediate nodes for the mp3decoder benchmark.

changes.

changes.

changes.

major revisions on FlowGraph to have more precise information

changes to get a global flow graph

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