PolySpace - Documentation

• Polyspace Installation Guide

• Polyspace Products for C/C++

• C/C++ Getting Started Guide

• Introduction to Polyspace Products for Verifying C/C++ Code

• Setting Up a Polyspace Project

• Running a Verification

• Reviewing Verification Results

• Checking Compliance with Coding Rules

• Polyspace Products for C/C++ User's Guide

• Introduction to Polyspace Products

• How to Use Polyspace Software

• Setting Up a Verification Project

• Emulating Your Runtime Environment

• Preparing Source Code for Verification

• Running a Verification

• Troubleshooting Verification Problems

• Reviewing Verification Results

• Managing Orange Checks

• Day to Day Use

• Checking Coding Rules

• Software Quality with Polyspace Metrics

• Using Polyspace Software in the Eclipse IDE

• Using Polyspace Software in Visual Studio

Glossary

• Polyspace Products for C/C++ Reference

• Option Descriptions for C Code

• Option Descriptions for C++ Code

• Check Descriptions for C Code

• Check Descriptions for C++ Code

• Approximations Used During Verification

• Examples

• Polyspace Products for Ada

• Ada Getting Started Guide

• Introduction to Polyspace Products for Verifying Ada Code

• Setting Up a Polyspace Project

• About the Setting Up a Project Tutorial

Overview

Example Files

• Creating a New Project

What Is a Project?

Preparing Project Folders

Opening the Polyspace Verification Environment

Creating a New Project to Verify an Ada Package

• Running a Verification

• Reviewing Verification Results

• Polyspace Products for Ada User's Guide

• Introduction to Polyspace Products

• How to Use Polyspace Software

• Polyspace Verification and the Software Development Cycle

Software Quality and Productivity

Best Practices for Verification Workflow

• Implementing a Process for Polyspace Verification

Overview of the Polyspace Process

Defining Quality Goals

Defining a Verification Process to Meet Your Goals

Applying Your Verification Process to Assess Code Quality

Improving Your Verification Process

• Sample Workflows for Polyspace Verification

Overview of Verification Workflows

Software Developers - Standard Development Process

Software Developers - Rigorous Development Process

Quality Engineers - Code Acceptance Criteria

Quality Engineers - Certification/Qualification

Model-Based Design Users - Verifying Generated Code

Project Managers - Integrating Polyspace Verification with Configuration Management Tools

• Setting Up a Verification Project

• Creating a Project

What Is a Project?

What Is a Project Template?

Project Folders

Opening Polyspace Verification Environment

Creating New Projects

Opening Existing Projects

Closing Existing Projects

Specifying Source Files

Specifying Include Folders

Managing Include File Sequence

Creating Multiple Modules

Creating Multiple Analysis Option Configurations

Changing Project Location

Specifying Analysis Options

Creating Custom Project Templates

Configuring Text and XML Editors

Saving the Project

• Specifying Options to Match Your Quality Goals

Quality Goals Overview

Choosing Contextual Verification Options

Choosing Strict or Permissive Verification Options

• Setting Up Project to Generate Metrics

About Polyspace Metrics

Enabling Polyspace Metrics

Specifying Automatic Verification

• Emulating Your Run-Time Environment

• Setting Up a Target

Target/Compiler Overview

Specifying Target/Compilation Parameters

Predefined Target Processor Specifications

• Verifying an Application Without a Main

Main Generator Overview

Automatically Generating a Main

Manually Generating a Main

Example

How Polyspace Verifies Generic Packages

• Specifying Data Ranges for Variables, Functions, and Procedures (Contextual Verification)

Overview of Data Range Specifications (DRS)

Specifying Data Ranges Using Text Files

Performing Efficient Module Testing with DRS

Reducing Orange Checks with DRS

Using Pragma Assert to Set Data Ranges

Supported Ada Pragmas

How Polyspace Evaluates Function and Procedure Parameters

• Preparing Source Code for Verification

• Running a Verification

Types of Verification

• Running Verifications on Polyspace Server

Specifying Source Files to Verify

Specifying Results Folder

Specifying Analysis Options Configuration

Starting Server Verification

What Happens When You Run Verification

Running Verification Unit-by-Unit

Run All Modules in Project

Managing Verification Jobs Using Polyspace Queue Manager

Monitoring Progress of Server Verification

Viewing Verification Log File on Server

Stopping Server Verification Before It Completes

Removing Verification Jobs from Server Before They Run

Changing Order of Verification Jobs in Server Queue

Purging Server Queue

Changing Queue Manager Password

Sharing Server Verifications Between Users

• Running Verifications on Polyspace Client

Specifying Source Files to Verify

Starting Verification on Client

What Happens When You Run Verification

Monitoring the Progress of the Verification

Stopping a Client Verification

• Running Verifications from Command Line

Launching Verifications in Batch

Managing Verifications in Batch

• Troubleshooting Verification

• Verification Process Failed Errors

Verification Failed Messages

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 Errors

Compilation Error Overview

Configuring a Text Editor

Examining the Compile Log

Common Compile Errors

• Reducing Verification Time

Factors Affecting Verification Time

Displaying Verification Status Information

An Ideal Application Size

Optimum Size

Selecting a Subset of Code

Benefits of These Methods

Obtaining Configuration Information

• Reviewing Verification Results

• Before You Review Polyspace Results

Overview: Understanding Polyspace Results

Why Gray Checks Follow Red Checks and Green Checks Follow Orange Checks

Understanding Polyspace Code Analysis

The Code Explanation

• Opening Verification Results

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

• Reviewing Results Systematically

What are Review Levels?

Reviewing Checks at Level 0

Reviewing Checks at Levels 1, 2, and 3

Reviewing Checks Progressively

Saving Review Comments

• Reviewing All Checks

Selecting a Check to Review

Displaying the Calling Sequence

Displaying the Access Graph for Variables

Filtering Checks

Saving Review Comments

• Tracking Review Progress

Checking Progress of Coding Review

Reviewing and Commenting Checks

Defining Custom Status

Tracking Justified Checks in Procedural Entities View

• Importing and Exporting Review Comments

Reusing Review Comments

Importing Review Comments from Previous Verifications

Exporting Review Comments to Spreadsheet

Viewing Checks and Comments Report

• Generating Reports of Verification Results

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

• Using Polyspace Results

Review Run-Time Errors: Fix Red Errors

Using Range Information in Results Manager Perspective

Why Review Dead Code Checks

Reviewing Orange: Automatic Methodology

Reviewing Orange Checks

Integration Bug Tracking

How to Find Bugs in Unprotected Shared Data

Dataflow Verification

Potential Side Effect of a Red Error

Checks on Procedure Calls with Default Parameters

_INIT_PROC Procedures

Pointers to Explicit Tasks

• Managing Orange Checks

• Understanding Orange Checks

What Is an Orange Check?

Sources of Orange Checks

• Too Many Orange Checks?

Do I Have Too Many Orange Checks?

How to Manage Orange Checks

• Reducing Orange Checks in Your Results

Overview: Reducing Orange Checks

Coding Guidelines for Reducing Orange Checks

Improving Verification Precision

Stubbing Parts of the Code Manually

Describing Multitasking Behavior Properly

• Reviewing Orange Checks

Overview: Reviewing Orange Checks

Defining Your Review Methodology

Performing Selective Orange Review

Importing Review Comments from Previous Verifications

Performing an Exhaustive Orange Review

• Day to Day Use

Polyspace In One Click Overview

• Using Polyspace In One Click

Polyspace In One Click Workflow

Setting the Active Project

Starting Verification

Using the Taskbar Icon

• Software Quality with Polyspace Metrics

About Polyspace Metrics

• Setting Up Verification to Generate Metrics

Specifying Automatic Verification

• Accessing Polyspace Metrics

Organizing Polyspace Metrics Projects

Monitoring Verification Progress

Web Browser Support

• What You Can Do with Polyspace Metrics

Review Overall Progress

Displaying Metrics for Single Project Version

Creating a File Module and Specifying Quality Level

Compare Project Versions

Review New Findings

Review Run-Time Checks

Fix Defects

Review Code Metrics

• Customizing Software Quality Objectives

About Customizing Software Quality Objectives

Run-Time Checks Set 1

Run-Time Checks Set 2

Run-Time Checks Set 3

Status Acronyms

• Tips for Administering Results Repository

Through the Polyspace Metrics Web Interface

Through the Command Line

Backup of Results Repository

• Verifying Code in the Eclipse IDE

Verifying Code in the Eclipse IDE

• Creating an Eclipse Ada Project

Creating a New Project

Adding Source Files

• Setting Up Polyspace Verification with Eclipse Editor

Analysis Options

Other Settings

Launching Verification from Eclipse Editor

Reviewing Verification Results from Eclipse Editor

Using Polyspace Spooler

Glossary

• Polyspace Products for Ada Reference

• Option Descriptions

• General Options

General Options Overview

Send to Polyspace Server

Add to results repository

Keep all preliminary results files

Calculate code metrics

• Target and Compiler Options

Target processor type

Operating system target for Standard Libraries compatibility

Defined Preprocessor Macros

Undefined Preprocessor Macros

Files extensions

Command/script to apply before start of the code verification

Command/script to apply after the end of the code verification

• Compliance with Standards Options

Value of the constant Storage_Unit

Remove comparison operators ambiguities

Analysis Mode

• Polyspace Inner Settings Options

Run a verification unit by unit

Unit by unit common source files

Name of the main subprogram

Generate a main

Stubbing

Assumptions

Verification time limit

Run verification in 32 or 64-bit mode

Number of processes for multiple CPU core systems

Other options

• Precision/Scaling Options

To end of

Precision Level

Specific Precision

Max size of global array variables

Improve precision of interprocedural analysis

List of variables to expand

Expansion limit for a structured variable

Less range information

• Multitasking Options

Implicit Tasks

Critical section details

Temporal exclusion tasks (separated by space characters)

• Batch Options

-author name

-server server_name_or_ip[:port_number]

-h[elp]

-v | -version

-sources-list-file file_name

-from

• Check Descriptions

• Colored Source Code for Ada

• Approximations Used During Verification

• Why Polyspace Verification Uses Approximations

What is Static Verification

Exhaustiveness

• Polyspace Model Link Products User's Guide

• Polyspace UML Link RH User's Guide

• Release Notes

Search MATLAB Documentation
R2012a Documentation → Polyspace
View documentation for other releases	Learn more about Polyspace