Release 1.5, patchlevel 1 (11/15/2001)

Summary

This release of CodeSurfer contains build performance improvements as well as some bugs fixes. There are too many bug fixes and other minor enhancements to list, so only the most important ones are listed.

Performance Improvements

Improved Pointer Analysis Algorithm
CodeSurfer now uses an improved pointer analysis algorithm that significantly improves build performance on many examples. Speed improvements of an order of magnitude have been observed.
Improved analysis of non-local variables
CodeSurfer now has an improved internal representation that results in time and space improvements for GMOD analysis. Speed improvements of a factor of four have been observed.

New Features

GCC compiler model for Windows
CodeSurfer now has a GCC compiler model on Windows platforms.
Build Libraries
A new command has been added to facilitate building Libraries from the GUI.
Improved treatment of structure fields in the GUI

CodeSurfer Packaging

Cygwin compiler tools are now distributed with CodeSurfer for Windows.

Bug fixes

Fixed bugs related to treatment of structure fields in the GUI.
Fixed bug associated with varargs.
Fixed bug associated with parsing and pointer analysis in statements that contain shift operations.
Fixed bug associated with passing structures to procedures by value.
Fixed a compatibility bug related to flags allowed by the newest version of ld.
Fixed a bug related to compatibility with user preference files of previous versions of CodeSurfer.

Minor Changes

The finder now allows user to search for a variable containing a field name.
Points-to sets of actual parameters: A new scripting routine, pdg-vertex-actual-points-to, provides access to the points-to set of an actual parameter.
Added "Enclosing Variable" and "Enclosed Variables" to property sheets associated with structure fields.
Each string constant is now initializated with the characters in the string. Such initializations are defs for corresponding uses