Release 1.9, patchlevel 4

Official release date: April 26th, 2005.

Summary

This release of CodeSurfer is an update to CodeSurfer 1.9p3 that fixes some minor problems. The most significant changes are to the default library models. These have been improved signficantly to provide compatibility with CodeSonar.

This release does not support versions of Solaris prior to Solaris 8.

Fixes

The following bugs have been fixed since 1.9p3:

Pointer Analysis
- The pointer analysis executable gt_pa can now address up to 3Gb of memory on Linux and Solaris. Previously, this could only handle 900Mb.
Compilation
- A problem with the cl compiler model not recognizing options beginning with a dash has been fixed.
Queries
- A crashing bug in the computation of predecessors has been eliminated.
- An error in the computation of slices having to do with pseudo-predicates has been fixed.

Known Problems

Cygwin ld 2.15.91 20040725-2 contains a NULL pointer deference bug that causes it to crash when used in conjunction with a CodeSurfer build. This bug will be fixed in the next Cygwin binutils release. In the mean time, you could either downgrade your binutils to the 2.15.90 20040312-1 version, or apply a patch to the 20040725 source and build it yourself.