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

Updated to support being able to do calls such as package1.package2.class abc = new package1.package2.class(); without an explicit import. However, we still do not support importing a class within a class yet.

P.S. Someone forgot to checkin a TryCatchTest.output.goal

Changes so that internally on the analysis side, classesnames are still package1.package2.classname instead of using ___________ for the .'s

changes: make location an extension of type descriptor and have an additional mapping from Flatnode to labeled statement. Note that the labeled statement might be handled differently when Sonny implements continue/break with labels

Fixes so that our unit tests now pass. Single and multi imports currently only work on .java file classes (i.e. no internal classes). Packages work more than 1 layer deep now.

TODO: Add support for importing subclasses
Add support for implicit imports (i.e. dir1.dir2.obj o = new dir1.dir2.obj(); calls).

P.S. Jin told me to put in the .goal file

changes: having an extension field in the type descriptor

small changes...

missing files

The compiler is BROKEN, but it's NOT MY FAULT. I think Brian forgot to check in something. Anyway, now my code can do single imports and on demand multi-imports.

KNOWN PROBLEM: The package declarations can go only 1 level deep.. this means that imports would only work 1 level deep as well (but the logic for it is all correct). I think the problem lies in the .cup file... When I get the name of a package, I only get the last thing in the list of something.something.something.last.class when I ask for the package. I'll check it out later.

rest of new build strategrest of new build strategyy

changes

Bug fixes for multicore gc

better implementation of this

a new field has been added to the standard object layout, shifting the access for oid

changes to work with imports...

changes to make sure that i don't step on stephen's work on imports...

enables the labeled_statements. The scope of a label declared by a labled statement is the block node following the labeled statement. Note that it might be a different way when Sonny implements continue/break with labels

left out of last checkin

Work in progress for import packages. In this versio ONLY SINGLE IMPORTS and package declarations at a level OTHER THAN THE MAIN FILE work at the moment. A class Foo in package bar.tar would be internally renamed to bar___________tar___________Foo and that's basically how it works at the moment. Multi-imports (import on demand) to comeIR/ClassDescriptor.java

bug fix for multicore gc version

changes.

Remove __thread as it does not work on Tilera and use newflag for Task version

add enw file

handle the missing case in the flow down analysis: for a method invocation, check if ordering relations among caller's method arguments are relatively preserved in callee's arguments

added TODO comments to BuildIR to implement import and packages

fix for ssJava: realized that annotation should not be a part of hash code.

bug fixes: printing out linenum & source file name in the conflict graph.

make callgraph an interface

bug fix - during call site transfer func we temporarily double nodes per allocation site where nodes from the callee are called shadow nodes, and nodes that were in the caller before the call are named normal nodes.  During the transfer we move the shadow newest, which are the newest, into the caller and merge normal nodes down to make room.  The bug is that during the merge of normal nodes in this procedure there shoudl be a corresponding aging of reachability states, so when global sweep occurred after the node merging process some states look imprecise and get swept away

extend grammar for parameter annotation. forgot to handle this case in the past

no need to build these classes unless they are actually accessed

reorganize.

this bug is not really a bug, a variable gets optimized out and the points-to and task in-set is fine, just has a different name

*** empty log message ***

changes

changes

change

add keyword for task allocation...

change

change

changes

remove comment

changes

more bug fixes

fix buildscript

fixes for oooJava gc

add enqueue to garbage.h

chnges

more bug fixes

changes

bug fixes for tasks...

Changes regarding the lock system. Still bugs and the TASK version code does not work now

bug fixes

split garbage collector into three files...

simplify the gc code...

bug...wonder how this used to work??

changes.

more bug fixes

changes

code to generate calls into JNI native code...

changes

more changes

more

Change the implementation of classobj

changes

templates towards jni

extends the grammar to have a way to define a new type of location that is allowed to have spinning values

move hashcode into header...part of prep to switch class libraries