View documentation for other releases
Learn more about Polyspace
• Polyspace Installation Guide
Polyspace Product Requirements
Polyspace Plug-In Requirements
Polyspace Software License Requirements
UNIX and Linux Installation Requirements
Polyspace Documentation Requirements
Overview of Polyspace Products
Polyspace Client Software
Polyspace Server Software
Before Starting the Installation
Installing the Software
Configuring the Polyspace Server Software
Activating Polyspace Software
Polyspace Software Icons
Installing Software on a Linux or UNIX Platform
Installing Software in Silent Mode
Configuring Polyspace Client Software
Configuring Polyspace Server Software
Configuring Polyspace Metrics Web Interface
Troubleshooting Common Errors
Windows Server Configuration
Linux/Solaris Server Configuration
MATLAB Software Is Not Installed Locally
No Write Access to MATLAB Product Root
Should I Uninstall Previous Releases Before Installing?
Uninstalling the Polyspace Software
Uninstalling Shared Components
Overview
Polyspace Licensing Options
Obtaining a License File
Do I need a FLEXnet Server to Use an Individual License?
How Do I Identify Designated Computer and Concurrent Licenses?
What If I Have Other MathWorks Products Installed?
What If I Have an Old Polyspace FLEXnet License Server?
Installing License Files
DC License File Format
Introduction to FLEXnet Licensing
Installing FLEXnet Manager
Configuring a Concurrent License
Installing Licenses on an Existing FLEXnet Server
Error -15, the FLEXnet server is unreachable
Error -5, the Polyspace feature is not available
Error -21, license file does not support this version
Error -10, the license date has expired
• Polyspace Products for C/C++
• Polyspace Products for Ada
• Ada Getting Started Guide
• Polyspace Products for Ada User's Guide
• Introduction to Polyspace Products
• How to Use Polyspace Software
• Setting Up a Verification Project
• Emulating Your Run-Time Environment
• Preparing Source Code for Verification
• Running a Verification
• Troubleshooting Verification
• Reviewing Verification Results
• 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
• Software Quality with Polyspace Metrics
• Verifying Code in the Eclipse IDE
Glossary
• Polyspace Products for Ada Reference
• Polyspace Model Link Products User's Guide
• Polyspace UML Link RH User's Guide
• Release Notes
Symbols A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Understanding Orange Checks
Too Many Orange Checks?
Reducing Orange Checks in Your Results
Reviewing Orange Checks
