reflects today's comments

changes.

changes

bug fixes...still doesn't work

convert it to the must analysis

more changes...think first version of memory allocation exists now

Bug fix for cache adaption

provides makefile and makes it compile for david

changes.

only call mark once...

get it to compile again

more changes

get rid of manually created table...

more changes

more changes

get it to compile again

clean up stuff...will add back later...

changes.

get it to compile

more changes

code changes

bug fixes

start implementing loop termination analysis: for the initial version, checking whether induction variable is getting bigger and loop guard condition is composed only with induction variables and loop invariant.

change objects

more changes

more of my changes

code for generating mark bit tables

code to do mark bits...

changes to get rid of all type errors...

bug fix...gcloads was used twice for different things with different types...

changes

more work towards type checking

clean up typing mistakes

fix mgchash table...isn't supposed to do allocation on the fly...nor use linked lists, etc...

changes to support marked bit table...might work??

changes

more changes

more changes...

fixes on GLB and returnloc calculation, etc.
gets more class libraries

My changes

remove extra locks and use atomics...hopefully i got this write...didn't test..

tinkering with debug stuff for barnes-hut

a mini version of barnes hut

support multi threading

a test that actually worked fine, but shows bad convergence behavior

fix bugs and changes on method checking

Bug fix: in some cases we really do want the heap region inherent reach set to have preds other than true, but when we allocate a new node, the state on that node should always have a true pred also.

remove dependence on concat2...it isn't a standard string method
fix some bugs...

many changes towards classpath...

another bug fix

code changes

more changes towards jni

add new file

changes

missing declaration

file changes

improves the strategy of checkings: starting from ssjava outermost loop, then only checking methods reachable from that loop. Also, check that every method which overrides an annotated method is also annotated.

fixed a bug where a single argument is passed in as more than one parameter, admitting only the last such edge

without this the call stie debug was capturing an immense amoutn of data

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