Installing Software on a Linux or UNIX Platform

  Configuring Polyspace Client Software

  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

  Target/Compiler Overview

  Specifying Target Environment

  Predefined Target Processor Specifications

  Modifying Predefined Target Processor Attributes

  Defining Generic Target Processors

  Common Generic Targets

  Viewing Existing Generic Targets

  Deleting a Generic Target

  Compiling Operating System Dependent Code (OS-target issues)

  Address Alignment

  Ignoring or Replacing Keywords Before Compilation

  Verifying Code That Uses Keil or IAR Dialects

  How to Gather Compilation Options Efficiently

  Main Generator Overview

  Automatically Generating a Main

  Manually Generating a Main

  Specifying Call Sequence

  Specifying Functions Not Called by Generated Main

  Main Generator Assumptions

  Why Provide a Class Analyzer

  How the Class Analyzer Works

  Sources Verified

  Architecture of the Generated main

  Class Verification Log File

  Characteristics of a Class and Messages in the Log File

  Behavior of Global variables and members

  Methods and Class Specificities

  Simple Class

  Simple Inheritance

  Multiple Inheritance

  Abstract Classes

  Virtual Inheritance

  Other Types of Classes

  Overview of Data Range Specifications (DRS)

  Specifying Data Ranges Using DRS Template

  DRS Configuration Settings

  Specifying Data Ranges Using Existing DRS Configuration

  Editing Existing DRS Configuration

  XML Format of DRS File

  Specifying Data Ranges Using Text Files

  Variable Scope

  Performing Efficient Module Testing with DRS

  Reducing Oranges with DRS