Installing Software on a Linux or UNIX Platform

  Configuring Polyspace Client Software

  Windows Server Configuration

  MATLAB Software Is Not Installed Locally

  Should I Uninstall Previous Releases Before Installing?

  Should I Uninstall Previous Releases Before Installing?

  Overview

  Do I need a FLEXnet Server to Use an Individual License?

  Overview

  Introduction to FLEXnet Licensing

  Overview

  Reasons Verification Can Fail

  Viewing Error Information When Verification Stops

  Hardware Does Not Meet Requirements

  You Did Not Specify the Location of Included Files

  Polyspace Software Cannot Find the Server

  Limit on Assignments and Function Calls

  Compilation Error Overview

  Checking Compilation At the Start of a Verification

  Examining Compile Log

  Compilation Messages Described in This Section

  Syntax Error

  Undeclared Identifier

  No Such File or Folder

  #error directive

  Class, Array, Struct or Union is Too Large

  Unsupported Non-ANSI Keywords (C)

  Initialization of Global Variables (C++)

  ISO versus Default Dialects

  CFront2 and CFront3 Dialects

  Visual Dialects

  GNU Dialect

  Link Error Overview (C)

  Function: Wrong Argument Type

  Function: Wrong Argument Number

  Variable: Wrong Type

  Variable: Signed/Unsigned

  Variable: Different Qualifier

  Variable: Array Against Variable

  Variable: Wrong Array Size

  Missing Required Prototype for varargs

  STL Library C++ Stubbing Errors

  Lib C Stubbing Errors

  Conflicts Between Standard Library Functions and Polyspace Stubs

  _polyspace_stdstubs.c Compilation Errors

  Troubleshooting Approaches for Standard Library Function Stubs

  Restart with the -I option

  Include Files with Stubs to Replace Automatic Stubbing

  Create a _polyspace_stdstubs.c File with Necessary Includes

  Provide a .c file Containing a Prototype Function

  Ignore _polyspace_stdstubs.c

  Three Types of Error Messages

  Function Pointer Error

  Unknown Prototype Error

  Parameter -entry-points Error

  Overview of Preprocessed (.ci) Files

  Example .ci File

  Troubleshooting Methodology

  Factors Impacting Verification Time

  Displaying Verification Status Information

  Techniques for Improving Verification Performance

  Turning Antivirus Software Off

  Tuning Polyspace Parameters

  Subdividing Code

  Reducing Procedure Complexity

  Reducing Task Complexity

  Reducing Variable Complexity

  Choosing Lower Precision