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

  Overview: Understanding Polyspace Results

  Why Gray Follows Red and Green Follows Orange

  The Message and What It Means

  The Code Explanation

  Downloading Results from Server to Client

  Downloading Server Results Using the Command Line

  Downloading Results from Unit-by-Unit Verifications

  Opening Verification Results from the Project Manager Perspective

  Opening Verification Results from the Results Manager Perspective

  Exploring the Results Manager Perspective

  Selecting Review Level

  Searching Results in Results Manager Perspective

  Setting Character Encoding Preferences

  Opening Results for Generated Code

  What Are Review Levels?

  Reviewing Results at Level 0

  Reviewing Checks at Levels 1, 2, and 3

  Reviewing Checks Progressively

  Saving Review Comments

  Selecting a Run-Time Check or Coding Rule Violation to Review

  Displaying the Call Sequence for a Check

  Displaying the Access Graph for Variables

  Filtering Checks

  Saving Review Comments

  Checking Coding Review Progress

  Reviewing and Commenting Checks

  Defining Custom Status

  Tracking Justified Checks in Procedural Entities View

  Commenting Code to Justify Known Checks

  Reusing Review Comments

  Importing Review Comments from Previous Verifications

  Exporting Review Comments to Spreadsheet

  Viewing Checks and Comments Report

  Polyspace Report Generator Overview

  Generating Verification Reports

  Running the Report Generator from the Command Line

  Automatically Generating Verification Reports

  Customizing Verification Reports

  Generating Excel Reports

  Review Run-Time Errors: Fix Red Errors

  Red Checks Where Gray Checks Are Expected

  Using Range Information in the Results Manager Perspective

  Using Pointer Information in Results Manager Perspective

  Viewing Probable Cause Information

  Why Review Dead Code Checks

  Reviewing Orange Checks

  Integration Bug Tracking

  How to Find Bugs in Unprotected Shared Data

  Dataflow Verification

  Data and Coding Rules

  Relationships Between Variables