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++
• C/C++ Getting Started Guide
• 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
• Verifying Code in the Eclipse IDE
Creating an Eclipse Project
Setting Up Polyspace Verification with Eclipse Editor
Starting Verification from Eclipse Editor
Reviewing Verification Results from Eclipse Editor
Using the Polyspace Spooler
• Using Polyspace Software in Visual Studio
Glossary
• Polyspace Products for C/C++ Reference
• Polyspace Products for Ada
• 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
Verifying Code in the Eclipse IDE