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.

put unit tests here

just documenting what this is for

Incrementing on definite reach analysis

Be able to get def reach state out at a given program point

get hooked into disjoint

getting definite reach analysis set up as a fixed point piggy-back to disjoint

Starting implementation for definite reachability analysis

guard a Tilera-only line

A MultiViewMap is a generalization of the VarSrcTokTable in OoOJava.  It is cumbersome to set up, but very powerful, and it will serve as the underlying implementation of the four maps in Definite Reachability Analysis.  When that is implemented, check there for examples of MultiViewMap in the wild.

it passes all checkings.

take out the loop termination analysis from the java optimization phase. it will happens during the SSJava checking.

bug fix on the Loop terminate analysis: as long as a field is not appeared in a flat set field node, it is suitable for the guard condition variable

passes the flow down rule

bug fixes + annotations

1) it passes the linear type checking 2) start annotations 3) removes unnecessary class libraries

EyeTracking has the same result of the original Java version.

found compilation errors from david's recent commits . have interim fixes to make it compile.

change a way to store image pixels as same as Java's PixelGrabber does

more changes.

changes toward compilation

add eye tracking benchmark.
get rid of all XML serialization.

added returnnode, loopnode, and opnode recognitino for inference

Added implicit flow for if statements

adding java files for inference engine

adding test class for SSJava Inference Engine

changes: 1) refactoring codes 2) forgot to implement ownsership checking in the flow-down rule. it checks that right hand side pointer variable should be owned by the current method.

it passes the definite clearance analysis.

changes.

changes: have a better way to keep the set of reading shared variables to verify their clearance.

fixes on the definite clearance for shared locations.

changes on the definite clearance for shared locations analysis

it passes the definitely written analysis.

the current implementation of the synthesis filter assumes to have the previous internal array values of the previous granule when it combines the subbands to the original PCM signal. So it calls for introducing the temporal data structure keeping the previous ones and making it fall down once per a loop. seems to sacrifice memory spaces for desireable properties but still looking for a better idea to handle it.

Add check to see if the msg buffer is full during msg sending

changes: since the inverse-MDCT uses input samples from the previous output, make sure that every SSJava loop iteration drops the raw_output of IMDCT and the previous block buffer by one height.

1) changes on the definitely written analysis: it only takes care about locations that are written to inside of the SSJava loop
2) bug fix on the definitely written analysis: static method doesn't have implicit 'this' argument.
3) add a set of static functions that initialize array elements
4) changes on mp3decoder: move init() method out of SSJava loop and start to use SSJava array init method

bug fix

having new variable 'inter' in-between "reorder/antialias" and "hybrid" in order to remove unnecessary the shared location. (haven't yet updated annotations)

bug fix on the definitely written check:  Field read does not need to remove OW set.

changes.

mp3decoder passes the loop termination analysis.

bug fix on the loop termination analysis

bug fix: the loop entrance node of DOWHILELOOP is the begin node, not the condition node.

changes on the loop termination analysis: associate a labeled statement with a corresponding LoopNode rather than attaching it to a BlockNode. this is interim implementation until we have branching statements.

mp3decoder finally passes the flow-down rule checking.

more changes to pass the flow-down rule

changes.

bug fix on flow-down rule: check if all of assignments done by invoking method respect the current branch constraint

have linear-type-safe source codes of mp3decoder

mp3decoder compiled by our research compiler produces the same output that I get from the mp3decoder compiled by OpenJDK. But SS checking was turned off, so still need to have more annotations/code changes to get desired properties, linear-type and ss.

1) bug fix on nativeavailable(): forgot to get back the file pointer to the current position.
2) small optimization on the FileInputStream.

changes.

adds 'nativeavailable()' and 'read(buf,offset,len)' methods into FileInputStream. 'nativeavailable' returns the number of bytes that can be read from the current file. 'read(buf,offset,len)' reads up to 'len' bytes from the current file  with the start offset to the destination array buf.

1) allow to set the maximum threshold for the liveness analysis. if threashold is set to -1, there is no threshold. 2) bug fix on CSE

get rid of the stream parsing that occurs in the Layer III decoder. BitStream.readFrame() returns a Header that has every information required by a single self-stabilizing loop iteration.

changes.

changes: now variable ownership is in the part of the type extension.

code clean up

fix a grammar to allow multiple annotations on method parameter

changes.

buildflat exposes new interface that maps from a tree node to the set of flatnodes that implements + revising linear type checking

Previous fix is still buggy, this one really fix that bug

Bug fix: during gc compact, one block's usage information could be modified by multiple cores, should avoid mis-overwriting the correct information due to the bad incoming order of GCRETURNMEM messages

start revising the linear type checking

changes.

changes.

changes.

Fix bug in pmc garbage collector

changes.

fix on assigning  the global location of the local variable lattice to static fields