The benchmarks are written in a dialect of Java. For historical reasons the 
file suffix is still .java but they are slightly incompatible with Java 1.5. 
1) The main function does not have a String[] args parameter
2) Template collections use base types, Vector<int> instead of Vector<Integer>

Other questions can be sent to:
Mark Marron
marron@cs.unm.edu

---basicTests---
This folder contains several simple test files that are designed to test the 
analysis under a range of states. The list benchmark creates several lists and 
applies standard sets of list operations on them (some tests include sharing 
of data elements between the lists). The recursive list benchmark has the same 
algorithms as the list benchmark but uses recursive instead of iterative 
algorithms. Finally, the collection benchmark tests subset and map operations 
on builtin collections.

---joldenCollectionV2---
This folder contains our modified jolden benchmarks. They have been updated in 
3 major ways. First is that the hand implemented collections (lists, maps and 
some arrays) have been replaced with our builtin collections. Second we have 
re-written section of code that our frontend does not handle (e.g. conditional 
assignment ?:, statements in subexpressions, made all casting explicit and, 
base types are resticted to int, double, boolean, char, string). 
Finally, we have also fixed the problems in health as described in 
"Health Considered Harmful".

---java_support---
This file contains the implementations of our library classes and facilities.

