Release 1.0, patchlevel 1

Official release date: 10/21/2004.

Summary

This release of CodeSurfer is an update to the version 1.0 of the Path Inspector. This adds some new features and fixes some flaws, as described below.

What's new in Path Inspector 1.0p1

This release has the following new features:

A new option Insert Calls To Signal Handlers is provided. This allows the user to specify sets of functions that are potentially called asynchronously.
A command-line interface has been provided. This allows users to invoke the path inspector in batch mode. Counterexample paths are saved in files for later browsing.
A new option Track Constant Values has been added. This allows the pruning of infeasible paths by tracking the set of values that each variable can and cannot have.
Multiple path explorers are now shown as tabs in a single window.
Several new interest sets are available for customizing the paths that are queried.
The selection of counterexample end points has been improved so that call sites are shown instead of return sites.