forgot to remove some commented out code

if a static field is encountered, ignore it gracefully

comment out import statements while we are between implementations of the import feature

Parallelize the cache adpation

check points-to module improvements along with a bug fix for disjoint call transfer func.  The bug was when considering callee edges to bring to the caller, use the predicates of the edge only to decide

having a location namespace. location names appeared in field lattice declaration are only valid within the declaration annotation. therefore a field location, which is an element of a composite location, will be specified by 'className.FieldLocation'. assuming that classname is unique right now but probably better to have a way to set each lattice with unique name.

add one more checking, class inheritance: If a class B has a super class A, all relative orderings of class A must be respected by the ordering lattice of class B.

name flat IR graphs to include method signature to avoid losing some graphs

add NOLOCK back in

enable error checking
Current the recovery SpamFilter version crashes when garbled characters are added to a filename when opening the file.
For example: email5 becomes email5% or email5+
The error checking identifies an incorrect filename passed to it....I think there may be a bug in the BufferedReader or
the FileInputStream that causes this problem and passes a wrong filename to the nativeopen().

some changes to allow running >1 thread per machine

fixes on bugs and checking of method invocation:
when verifying callee and caller hierarchy matching,
caller has a constraint that output(return value) should be lower than inputs(parameters).
In regarding to this constraint, callee needs to return something lower than its parameters, which means there is relative ordering relations between parameters and return value in the callee hierarchy. If there is no relative odering relations between them, it is compile-time error.

bug fixes and few extra things:
-static final field has TOP location by default
-do not allow to copy values from one class global variable to another class global variable since they're not comparable.

having a new check that verifies the single reference constraint: only allows a single reference, not aliases. The reference location must be destroyed after a variable or field is read. plus, changes on ssjava class library and test cases according to new checking.

fix bugs on the flow down rule and start annotating ssjava class library again

allow Pointer to run for usual compilation modes... added a todo that points-to checks at runtime need some extra modeling for string literals added to Pointer before that system will work.

Fixed import bug but some other issues now pop up:

1) make rcrpointer now crashes at processNode in Pointer.java starting at line 439. The switch statement encounters a FlatLiteralNode and doesn't know what to do with it.
2) We fail to parse Hashtable.java in the gnu labrary when using the -jni option. The line of code it fails at is "Hashtable.this.clear();". I can't seem to find any resources telling me what having a "this" midline means, so I can't fix it myself.

changes.

bug fix: heap contexts for call sites were propgated from caller to callee incorrectly.  A heap context should propagate from the caller to each possible callee at virtual dispatch... how did this ever work??

changes

more changes.

new changes

add more test cases: delta func and local variable lattice

changes.

changes to reflect ssjava design changes and temporarily remove some of ssjava class libraries until code revision is done

updates ssjava test case to reflect recent changes

Fix bug in multicore gc

Create analysis model for string literals in disjointness analysis that supports checking allocation sites at runtime

new changes for getting results for TOPLAS

print allocation site when a points-to check fails to try and see what it should be

take out all of ssjava stuff from state class and start re-organizing codes to reflect recent changes(separate lattices for fields and local vars, default lattice, ...)

model the allocation of string literals in heap analysis

this system checks heap results against runtime pointers to look for analysis bugs.  It is currently missing that FlatLiteral nodes can allocation a new string object, coming in a future update.

isImmutable is used by the disjoint family of analyses and we added string because we know its immutable and wanted to decrease the size of reach graphs.  To support the check-heap-results-versus-runtime system, go ahead a leave string out which is still a correct analysis but will also generate points-to information for a string and its byte array

print out brackets for array count to show humans

decide not to have additional grammar to declare the location hierarchy.
all additional things for SSJava will be done using the standard Java annotation.

Now the cache adapt version works

Some code clean and make the cache adapt version compile

differentiate between analysis says something points-to nothing verus analysis doesn't care what something points-to

revert previous change: DROPPING THE GRUNGE HAMMER.  :)

allow external systems to write a flatIR graph

show source code line numbers for this target

only do this if we are using oooj-style tasks after this analysis otherwise it crashes

did we just ignore the static field modifier before?  How did OOOJ or DOJ work with static fields?  In the case of labyrinth there is no need for fields in the top-level singleton class to be static

clean up points-to-check files properly

Code clean

Code clean

Small bug fix for SPECjbb. And the BAMBOO_ASSERT macro has been moved to runtime_arch.h under tilera directory. It does not need the error # any more

let's avoid using pointer parameters when possible

New tool to check points-to results of a heap analysis against runtime pointers.  Added an extension object system to BuildCode for this and future extensions.

Make SPECjbb compile again

imports are meaningful to compiler now

Bug fix

code change

oops...bug

change enum & other fixes

changes:
(1) use only header word to figure out length...
(2) figure out length using array lookup

More code clean

Code clean. Change BAMBOO_EXIT macro to print out file name and line #

changes committed

some cleaning up of code....  simplify many loops...fix some tabbing...

please get rid of globals when they aren't absolutely necessary....

think about how you can consolidate globals when possible also...

bug fix in multicore code

disjoint should work like pointer in that taints for DOJ have whereDefined initialized to null because taints can propagate across a backedge to the stallsite, for example, which can become the non-null whereDefined element of a new taint

an outstanding change to improve debugging of call sites

A small bug

Polish multicore code

small changes: have a way to specify the location of "this".

allow debug reach graphs to show taints but supress node, edge AND taint predicates, and some other tiny debug changes

changes.

changes: now, the annotated SSJava class library passes the flow-down rule checking.

improve call site debugging for disjoint

the new compiler mode in buildscript SSJAVA needed an SSJAVA=false at the top, also indented classpath logic so we can figure out what is being selected

Let end user see what classpath was selected.

Jim found that three class files of java_cup.runtime have different Java version number(50.0, not 49.0). this change keeps all of class files of JavaCUP as version 49.0

run ooojava and rcrpointer that print out effects and annotate them with the source code line they come from

change the debug mode for capturing null dereference to a global compilar option

changes to get the tiny class library for ssjava

extends the location hierarchy definition grammar.
while working on annotating ssjava class library, realize the need to have a way to keep only one location(with top and bottom) in the local hierarchy.

switch to spaces only..

Fix tabbing....  Please fix your editors so they do tabbing correctly!!!  (Spaces only, two spaces)

change

attempts to have ssjava's own class library. starting from tiny class library: Object, String, Enumeratioin, System. the beginning seems to be humble, but the future will be prosperous :)

Extends the grammar to include the annotation type declaration. The current impl only supports marker and single annotation declaration.

Annotation type is represented by class descriptor since annotation type declaration is a special kind of interface declaration. Later, we need to implement semantic checkings for annotations.

has a hack on java_cup parser generator: divides a gigantic do_action method into halves since Java doesn't allow a method bigger than 64K"

changes

fix bug...

revert yeom's checkin...

first step to reduce the size of grammar as we have an issue of Java Bytecode 64K limitation.

Changes.

Don't include java.lang in non-jni builds.. and someone forgot a void in our Vector ensureCapacity declaration........

add another test case for ssjava:
trying to put annotations on mp3 decoder source codes using the current ssjava scheme.

update the way this analysis visits every method reachable from program entry

fix bug...

nasty bug...

Refactored the multiimport code so that it looks nicer and added java.lang as a default multiimport as well. Now Brian's test file crashes at parsing Hashmap (invalid character).

Still no support for importing a class within a class though

Fixes. Almost everything works (but still no importing subclass support).

JNI compilation on Brian's test file still fails, HOWEVER I believe it's because /classpath/java/lang/ should be added into our state.classpaths vector. This should be true because Java automatically imports java.lang.* in every file, so it's essentially like having it as a class path.

I've left 1 System.out.println statement in extra to help trace which files are trying to find which files. When I look at the one I'm currently crashing on, I see that there is indeed no Class.java file in its package and it doesn't import it anywhere.

extends grammar little more to have the break statement with label

interim changes: ssjava will have its own class library, not relying on Java Class Library

get rid of isClassLibrary method

Some goal files for the unit tests