CodeSonar Release 3.1p0 Release Notes

JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

If you access the manual through the hub's Web GUI, the functionality will not be suppressed because the hub is a web server.
Alternatively, your browser may allow you to explicitly disable the security setting that suppresses functionality. See the CodeSonar FAQ for more information.

CodeSonar Release 3.1, patchlevel 0: Release Notes

Official release date: April 28, 2008.

New Features

This version differs from CodeSonar 3.0p0 in the following ways:

New Plug-in API Functions

New plug-in API functions (both C and Scheme) allow users to:

Attach "visitors" to CFG edges.
Issue warnings associated with paths in the CFG.
Obtain pre- and post-conditions on a specified attribute of a specified ABS_LOC with respect to a program transformation.
Evaluate queries of the form ax+b op cy + d with respect to a program transformation, where
- x and y are the values of specific attributes of specific ABS_LOCs.
- a, b, c, d are constants.
- op is ==, !=, <=, or >=.

New Administrative Settings

HTTP Session Timeout specifies the number of seconds after which inactive sessions will time out (and their session slots become available to other users).
sql.html Accessible To specifies whether the SQL interpreter in the CodeSonar GUI will be available to all users, or just to the Administrator.
Who Can Create Accounts specifies whether all users are able to create accounts, or only the Administrator.

Users Can Specify Compilations to Omit From Analysis

New configuration file parameter IGNORED_COMPILATIONS allows users to specify a Scheme regular expression such that all compilations whose path matches the expression will be omitted from the analysis.

Users Can Specify Source Code Replacements

Two new configuration file parameter allow the user to specify source code replacement operations to be carried out before the preprocessing stage:

SOURCE_PATTERN_REPLACEMENT specifies a Boost regular expression, and a replacement string to replace source substrings that match the regular expression. The new MAX_MATCH_LENGTH paramater controls the maximum length of a matching source substring.
SOURCE_REPLACE_COMMAND specifies a text-replacement command (reading from stdin, writing to stdout) to be executed on each source file being analyzed.

Renesas shcpp Compiler Model

Before version 5.0, shc compiled source files as C and shcpp compiled source files as C++. From version 5.0, shc switches language based on source file suffix (and shcpp is no longer documented, but is still available).

If you are using a pre-5.0 Renesas SuperH compiler, you will need to edit $CODESONAR_INSTALL/csurf/etc/renesas_superh-compiler-config.stk to instruct the shc compiler model to treat source files as C.

Microsoft Visual C++ 2008 Now Supported

Users can now build CodeSonar projects by having CodeSonar observe builds in the Microsoft Visual C++ 2008 IDE.

Changes

API Function Changes

[Scheme and C] the PDG_VERTEX keyword getters have been replaced as shown in the table below.

	Function	Replacement

C	pdg_vertex_keyword()	cs_pdg_vertex_syntax_kind() and related cs_pdg_vertex_syntax_element()

Scheme	(pdg-vertex-keyword)	(pdg-vertex-syntax-kind) and related (pdg-vertex-syntax-element)

[Scheme only] (ast-abs-loc) can now also take a c:variable, c:field, or c:routine AST as an argument.
[Scheme only] (pdg-vertex-ast) has been replaced by (pdg-vertex-asts), which returns the list of unnormalized ASTs associated with a vertex.
[Scheme only] a number of Scheme API functions now raise errors instead of returning #f in error cases. See individual function documentation for details.

Fixes

Compiler Models

"gcc -v" is now handled correctly.

"gcc -xc" is now handled correctly.

"gcc -nostdinc" is now handled correctly.

The cl compiler model now works in the presence of third party tools that overwrite cl.exe.

The compiler model for Green Hills ecomppc now correctly handles C++ files with a .c extension.

The compiler model for Renesas shc now correctly handles const * being passed to a function that takes non-const *.

An integration problem with Eclipse and the Green Hills MULTI IDE on Windows was fixed; this may also have improved integration for other IDEs.

Configuration Files

Configuration file options can no longer override options specified on the command line.

Library Models

There are now library models for Nucleus OS.

Web GUI

The "Save This Search" button is now clickable in IE 6.

Miscellaneous

Various small fixes.