CodeSonar Release 3.2, patchlevel 0: Release Notes

Major New Features

Charting

CodeSecure is pleased to announce that CodeSonar now includes charting features.

• A chart wizard allows users to create highly customized charts.
  • Bar chart, column chart, line chart, scatterplot, and pie chart formats are available.
  • Data in charts can be grouped, providing an additional dimension of information.
  • Users can select a standard data scope, or can define their own scope by specifying a search.
• Links on Home, Project, and Analysis pages provide shortcuts to useful summary charts.
• Table menus provide access to charts of the data in the table.
• Charts of warning counts are sensitive to the Visible Warnings setting.
• Charts are highly interactive: a pop-up on each chart component summarizes the data represented by that component; clicking on a chart component navigates to a page listing every data point included in the component.
• Zoom In and Zoom Out features allow users to select smaller areas of a chart for a closer look, then return to the full view.
• The table of data associated with any chart is always available; users can easily swap between tabular and graphical views of the data.
• Users can save charts and open saved charts.

OS X Support

CodeSonar is now available for OS X (x86 and x86-64) 10.4 or later.

Other New Features

• AST API Now Available in C: the C API for CodeSonar now includes functions and types for handling ASTs, paralleling the Scheme AST API. The CodeSonar manual has full documentation, including a tutorial.
• Changing Project Name: users can now change project names from the CodeSonar Web GUI.
• CODESONAR_HUB Environment Variable: allows users to specify a host and port to be used when CodeSonar build and hub-start commands are issued without explicit location arguments. For example, CODESONAR_HUB=localhost:1234.
• GUI Access to Hub Commands: the CodeSonar Web GUI now provides direct access to the following hub commands.

  Hub Command	URL	Effect
  info	/command/info/	Display basic information about the hub.
  log	/command/log/	Display the hub log (non-streaming).
  most_expensive_sql.txt	/most_expensive_sql.txt	Display information about the SQL query with the largest (in bytes) result set in the hub process lifetime.
  shutdown	/command/shutdown/	Shut down the hub.
  sql.txt	/command/sql.txt	Display the SQL query log.
  sql_memory.txt	/command/sql_memory.txt	Display the recent SQL queries that returned result sets.
  traffic.txt	/command/traffic.txt	Display the HTTP request log.
  userlog.txt	/command/userlog.txt	Display the user event log.

• New Front-End Options:

  New Option	Effect
  --cs_ext_asm_endasm	Allows code that includes the #asm...#endasm construct.
  --cs_ext_incomplete_enum_type	Allows code that uses enum types that have been declared but not defined.
  --cs_ext_zero_size_array	Allows code that declares arrays of size zero.

• Configuration File Variables: users can define and use named variables in configuration files.
• Per-Compiler Configuration Files: users can create compilername.conf files, which CodeSonar will use for builds that use the corresponding compiler.
• Configuration File Parameter Changes: new parameters | deleted parameter

  New parameters

  New Parameter	Notes
  EDG_FRONTEND_OPTIONS_APPEND	Replace FRONTEND_OPTIONS
  EDG_FRONTEND_OPTIONS_PREPEND
  ERROR_SUBMISSION_LIMIT_PER_COMPILATION	Specifies the maximum number of parse errors that will be submitted to the hub for a compilation.
  IGNORED_COMPILATIONS	Compilations whose path is matched by the given regular expression will be ignored.
  MAX_MATCH_LENGTH	Support regular expression based replacement, to be carried out over the source code being analyzed (before preprocessing occurs).
  SOURCE_PATTERN
  SOURCE_REPLACEMENT
  SOURCE_MODIFIERS
  SOURCE_PATTERN_REPLACEMENT
  SOURCE_REPLACE_COMMAND
  PREPROCESS_ALWAYS	Specifies whether or not preprocessed versions of all compilation units will be saved.
  PREPROCESS_IF_FAIL
  ZFRAG_POOL_MINIMUM_CAPACITY	Specifies amount of memory to eagerly reserve for defragmentable allocations.
  ZFRAG_POOL_SMALL_THRESHOLD	Specifies a minimum size for allocations that can use defragmentable memory.

  Deleted parameter

  Deleted Parameter	Notes
  FRONTEND_OPTIONS	Replaced by EDG_FRONTEND_OPTIONS_APPEND and EDG_FRONTEND_OPTIONS_PREPEND

Changes

Other Changes To GUI

• The Analysis Statistics page type no longer exists. Instead, one-click summary charts and chart tables are available from the Home page (for hub summaries), Project pages (for changes in the project over time) and Analysis pages (for analysis result summaries).
• On Analysis pages, click on the progress bar to view an appropriate log. If state is "Parsing", links to CodeSonar Parse Log. If state is anywhere in the range from "Linking" to "Analyzing", or is"Stalled", links to the CodeSonar Analysis Log.

Changes to AST API

Changes to Scheme AST API functions, types, and patterns.

• ASTs can no longer have list-valued fields.
  • AST fields that previously contained lists now contain ASTs of type cc:ast-list or cc:enum-list, which in turn have a variable number of children.
  • Patterns can no longer match lists of ASTs.
• AST patterns can no longer include eval.
• (unwrap ...) AST patterns no longer include a finalize component.
• ASTs now belong to families. The families for C/C++ are "normalized" and "unnormalized".
• Full field names must now be used in patterns (field name prefixes are no longer sufficient).
• Changes to AST API functions (Scheme)
  new functions | modified functions | renamed functions | deleted functions
  • new functions

    New Function	Notes
    (ast-all-classes)	Gets a list of all available AST classes.
    (ast-all-families)	Gets a list of all available AST families.
    (ast-all-ordinals)	Gets a list of all available AST ordinals.
    (ast-attributes-ordinals)	Gets a list containing the ordinals (names) of the attributes of an AST. (This was previously the behavior of (ast-attributes).)
    (ast-children-ordinals)	Gets a list containing the ordinals (names) of the children of an AST. (This was previously the behavior of (ast-children).)
    (ast-close)	Close the specified AST.
    (ast-create)	Create a new AST, given a class name and optional list of fields.
    (ast-fields-ordinals)	Gets a list containing the ordinals (names) of the fields of an AST. (This was previously the behavior of (ast-fields).)
    (ast-set-field)	Sets the specified field of an AST.
    (file-ast)	Get the AST of the specified family for a specified compilation unit.
    (file-asts-at)	Get all ASTs of the specified classes that occur at the specified location.
    (file-set-ast!)	Set the AST of the specified family for a specified compilation unit.
    (pdg-set-ast!)	Set the AST of the specified family for a specified PDG.
    (pdg-vertex-ast)	Get the AST of the specified family for a specified PDG_VERTEX.
    (pdg-vertex-set-ast!)	Set the AST of the specified family for a specified PDG_VERTEX.

  • modified functions

    Modified Function	Notes
    (abs-loc-ast)	Now takes an additional family argument.
    (ast-attributes)	Now returns all the attributes of an AST as list of ordinal-field pairs. (Previously returned only a list of ordinals - new function (ast-attributes-ordinals) has this behavior.)
    (ast-children)	Now returns all the children of an AST as list of ordinal-field pairs. (Previously returned only a list of ordinals - new function (ast-children-ordinals) has this behavior.)
    (ast-dig)	Signature change: returned value is now always a field (unless there is an error), first argument is always an AST (never a list of AST).
    (ast-fields)	Now returns all the fields of an AST as list of ordinal-field pairs. (Previously returned only a list of ordinals - new function (ast-fields-ordinals) has this behavior.)
    (pdg-ast)	Now takes an additional family argument; which means it can cover the cases previously covered by both (pdg-ast) and (pdg-expr).

  • renamed functions

    New Name	Previous Name
    (ast-class-is-subclass?)	(ast-class-is-a?)
    (ast-class-superclass)	(ast-class-direct-superclass)

  • deleted functions

    Deleted Function	Notes
    (ast-attribute)	Use (ast-field).
    (ast-child)	Use (ast-field).
    (ast-for-uid)	Use (file-ast).
    (ast-get-pos)	If source position information is available for a given AST, it is stored in the AST's :position attribute.
    (ast-has-attribute?)	Use (ast-has-field?).
    (ast-has-child?)	Use (ast-has-field?).
    (ast-uid)	No replacement.
    (pdg-expr)	Use (pdg-ast) with 'normalized as the family argument.
    (pdg-vertex-asts)	Use (pdg-vertex-ast) with 'unnormalized as the family argument.
    (pdg-vertex-expr)	Use (pdg-vertex-ast) with 'normalized as the family argument.

• Changes to the AST hierarchies for normalized and unnormalized ASTs:
  new classes | changes to normalized AST inheritance hierarchy | deleted classes | renamed classes | field changes | older changes
  • New AST classes

    Unnormalized
    Fixed-point values and operations	cc:fixed-point cc:fixed-point-value cc:fxpost-incr cc:fxpost-decr cc:fxpre-incr cc:fxpre-decr cc:fxadd cc:fxsubtract cc:fxmultiply cc:fxdivide cc:fxeq cc:fxne cc:fxgt cc:fxlt cc:fxge cc:fxle cc:fxassign cc:fxadd-assign cc:fxsubtract-assign cc:fxmultiply-assign cc:fxdivide-assign cc:fxshiftl-assign cc:fxshiftr-assign cc:fxshiftl cc:fxshiftr
    Integer-shift operations	cc:ishiftl-assign cc:ishiftr-assign cc:ishiftl cc:ishiftr
    Pragmas	cc:pragma-asm cc:pragma-define-type-info cc:pragma-diag-default cc:pragma-diag-error cc:pragma-diag-once cc:pragma-diag-remark cc:pragma-diag-suppress cc:pragma-diag-warning cc:pragma-endasm cc:pragma-hdrstop cc:pragma-inline-asm cc:pragma-no-pch cc:pragma-once cc:pragma-pack cc:pragma-pop-macro cc:pragma-printf-args cc:pragma-push-macro cc:pragma-redefine-extname cc:pragma-scanf-args cc:pragma-start-map-region cc:pragma-stdc cc:pragma-stop-map-region
    Lists	cc:ast-list cc:enum-list
    Finer resolution of arrays	cc:generic-array cc:vla
    Literals	cc:literal cc:float-literal cc:float-value-32 cc:float-value-64 cc:float-value-96 cc:float-value-128 cc:integer-literal cc:integer-value-32 cc:integer-value-64 cc:integer-value-128 cc:uinteger-value-32 cc:uinteger-value-64 cc:uinteger-value-128
    Other new unnormalized classes	cc:exception-specification cc:empty cc:literal cc:va-start-single-operand cc:value-bit-field cc:value-field cc:value-vacuous-destructor-call
    Normalized
    Fixed-point values and operations	c:fixed-point

  • changes to normalized AST inheritance hierarchy

    Class	New Superclass	Previous Superclass(es)
    c:args	none	c:ast
    c:base-class	c:ast	c:leaf
    c:bit-or	c:bitwise	c:binary-bitwise
    c:dynamic-cast	c:lvalue	c:rvalue
    c:field	c:ast	c:leaf
    c:fullcall	none	c:rvalue
    c:incdec	c:arithmetic	c:unary-arithmetic
    c:label	c:leaf only	c:leaf and c:rvalue
    c:literal	c:leaf only	c:leaf and c:rvalue
    c:or-assign	c:X=	c:x= (renamed)
    c:routine	c:rvalue only	c:symbol and c:rvalue
    c:string	c:lvalue	c:literal
    c:unary+	c:arithmetic	c:unary-arithmetic
    c:unary-	c:arithmetic	c:unary-arithmetic
    c:variable	c:rvalue only	c:symbol and c:rvalue
    c:%	c:arithmetic	c:binary-arithmetic
    c:*	c:arithmetic	c:binary-arithmetic
    c:+	c:arithmetic	c:binary-arithmetic
    c:-	c:arithmetic	c:binary-arithmetic
    c:/	c:arithmetic	c:binary-arithmetic
    c:x=	c:arithmetic	c:binary-arithmetic
    c:&	c:bitwise	c:binary-bitwise
    c:>>	c:bitwise	c:binary-bitwise
    c:<<	c:bitwise	c:binary-bitwise
    c:^	c:bitwise	c:binary-bitwise
    c:~	c:bitwise	c:unary-bitwise
    c:!=	c:logical	c:binary-logic
    c:<	c:logical	c:binary-logic
    c:<=	c:logical	c:binary-logic
    c:==	c:logical	c:binary-logic
    c:>	c:logical	c:binary-logic
    c:>=	c:logical	c:binary-logic
    c:!	c:logical	c:unary-logic
    c:%=	c:X=	c:x= (renamed)
    c:&=	c:X=	c:x= (renamed)
    c:>>=	c:X=	c:x= (renamed)
    c:<<=	c:X=	c:x= (renamed)
    c:*=	c:X=	c:x= (renamed)
    c:+=	c:X=	c:x= (renamed)
    c:-=	c:X=	c:x= (renamed)
    c:/=	c:X=	c:x= (renamed)
    c:^=	c:X=	c:x= (renamed)

  • deleted AST classes

    Unnormalized
    Deleted Class	Handling
    cc:based-type cc:based-type-pointer cc:based-type-ptr-to-member cc:based-type-qualified cc:based-type-reference cc:based-type-unqualified-array-type	No replacements.
    cc:binary-question	No replacement.
    Normalized
    Deleted Class	Handling
    c:binary-arithmetic	Subclasses now inherit directly from c:arithmetic.
    c:binary-bitwise	Subclasses now inherit directly from c:bitwise.
    c:binary-logic	Subclasses now inherit directly from c:logical.
    c:leaf	c:base-class now inherits directly from c:ast c:field now inherits directly from c:ast c:label now inherits only from c:rvalue c:literal now inherits only from c:rvalue
    c:symbol	no replacement
    c:symbol	c:routine now inherits only from c:rvalue c:variable now inherits only from c:lvalue
    c:unary-arithmetic	Subclasses now inherit directly from c:arithmetic.
    c:unary-bitwise	Subclasses now inherit directly from c:bitwise.
    c:unary-logic	Subclasses now inherit directly from c:logical.

  • renamed classes

    Old Class Name	New Class Name
    c:logic	c:logical
    c:X=	c:x=

  • field changes

    Unnormalized
    Class	Field Changes
    cc:aggregate	Child previously labeled :constants is now labeled :constant-list
    cc:array	Now covers fixed-length arrays only (cc:vla is for variable length ones) and no longer has an :element-type child or :is-vla attribute.
    cc:asm-entry cc:asm-operand cc:base-class cc:class-struct-union cc:enum cc:expr cc:field cc:handler cc:label cc:macro cc:namespace cc:param-type cc:routine cc:scope cc:statement cc:switch-clause cc:template cc:typeref cc:using-decl cc:variable cc:vla-dimension	Now all have a :position attribute.
    cc:class-struct-union	Attribute previously labeled :is-interface now labeled :ms-interface.
    cc:complex-value	Type of :real-value and :imag-value children is now cc:float-literal.
    cc:constant-template-param	No longer has a :ctp-coordinates attribute
    cc:expr-type	Child previously labeled :type is now labeled :represented-type
    cc:float-value	Type of :value child is now cc:float-literal
    cc:imaginary-value	Type of :value child is now cc:float-literal.
    cc:integer	Now has an :is-unsigned attribute.
    cc:integer-value	Type of :value child is now cc:integer-literal.
    cc:routine	No longer has an :overriding-function-for-covariant-return-type attribute.
    cc:routine-type	Now has an :exception-specification child.
    cc:scope	No longer has a :vla-dimensions attribute.
    cc:source-correspondence	Now has a :mangled-name attribute.
    Normalized
    Class	Field Changes
    c:class-struct-union	Now has a :size-is-incomplete attribute.
    c:field	Now has an :is-last-field attribute.

  • Older changes. Some users may have written code that is based on even older versions of the AST hierarchy. We include brief notes here to help with upgrading.

    c:id	replaced by c:variable, c:routine, c:field, c:base-class, c:label

• Other API Changes
  • New API functions

    C Function	Scheme Function	Summary
    cs_pdg_friendly_name()	(pdg-friendly-name)	Retrieves the user-friendly name of the procedure associatedwith a PDG.