GrammaTech's SATE submission contains five files:
* reademe.txt: This read me file
* irssi_run1.xml: SATE output format xml file for a run of CodeSonar on the 
isrri project
* pvm_run1.xml: SATE output format xml file for a run of CodeSonar on the pvm 
project
* irssi_run1_reports.tar.bz2: bzip2 tarball containing individual CodeSonar 
reports in HTML for each warning in the isrri project set.  The reports are 
named x.html where x is their tool specific ID.
* pvm_run1_reports.tar.bz2: bzip2 tarball containing individual CodeSonar 
reports in HTML for each warning in the pvm project set.  The reports are named 
x.html where x is their tool specific ID.

Both tests were run on the following machine:
OS: openSUSE 11.0 (Linux green.grammatech.com 2.6.25.16-0.1-default #1 SMP 2008-08-21 00:34:25 +0200 x86_64 x86_64 x86_64 GNU/Linux)

The irssi project was built with: gcc (GCC) 4.3.2

The pvm project was built with: cc (SUSE Linux) 4.3.1 20080507 (prerelease) [gcc-4_3-branch revision 135036]

Both projects were built with the tool using its default configuration.

No annotations were made to the test code.

If you have any question or concerns about our submission, please feel free to 
contact me at fletcher@grammatech.com or 607-273-7340x24.





