Release 1.4, patchlevel 1 (11/20/2000)

Platforms

This release runs on the following platforms:

Sparc Solaris versions 2.5.1 and above
Windows 98, Windows NT and Windows 2000

Summary

This release of CodeSurfer fixes some problems with the library models as well as a few fairly minor bugs.

Library models

The models for the C library had some problems with respect to the pointer analysis. Although they reflected the correct data dependences, in some cases they would cause items to be erroneously inserted into points-to sets. For example, in the statement i=strlen(s), the parameter s would end up in the points-to set of the variable i. Several of these problems have now been fixed.

Bug fixes

A few problems with the C library model when using monolithic IO have been corrected.
A bug having to do with some files in libraries not getting loaded properly has been fixed.
A bug that caused an STk error when using the finder in linked mode has been corrected.
A problem that caused incorrect parsing of the command line in some unusual situations has been fixed.