Polyspace Code Prover User's Guide

1110 Pages·2022·9.534 MB·English

Polyspace® Code Prover™
User's Guide
R2022b
How to Contact MathWorks
Latest news: www.mathworks.com
Sales and services: www.mathworks.com/sales_and_services
User community: www.mathworks.com/matlabcentral
Technical support: www.mathworks.com/support/contact_us
Phone: [phone]
The MathWorks, Inc.
1 Apple Hill Drive
Natick, MA 01760-2098
Polyspace® Code Prover™ User's Guide
© COPYRIGHT 2013–2022 by The MathWorks, Inc.
The software described in this document is furnished under a license agreement. The software may be used or copied
only under the terms of the license agreement. No part of this manual may be photocopied or reproduced in any form
without prior written consent from The MathWorks, Inc.
FEDERAL ACQUISITION: This provision applies to all acquisitions of the Program and Documentation by, for, or through
the federal government of the United States. By accepting delivery of the Program or Documentation, the government
hereby agrees that this software or documentation qualifies as commercial computer software or commercial computer
software documentation as such terms are used or defined in FAR 12.212, DFARS Part 227.72, and DFARS 252.227-7014.
Accordingly, the terms and conditions of this Agreement and only those rights specified in this Agreement, shall pertain
to and govern the use, modification, reproduction, release, performance, display, and disclosure of the Program and
Documentation by the federal government (or other entity acquiring for or through the federal government) and shall
supersede any conflicting contractual terms or conditions. If this License fails to meet the government's needs or is
inconsistent in any respect with federal procurement law, the government agrees to return the Program and
Documentation, unused, to The MathWorks, Inc.
Trademarks
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See
www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be
trademarks or registered trademarks of their respective holders.
Patents
MathWorks products are protected by one or more U.S. patents. Please see www.mathworks.com/patents for
more information.
Revision History
September 2013 Online Only Revised for Version 9.0 (Release 2013b)
March 2014 Online Only Revised for Version 9.1 (Release 2014a)
October 2014 Online Only Revised for Version 9.2 (Release 2014b)
March 2015 Online Only Revised for Version 9.3 (Release 2015a)
September 2015 Online Only Revised for Version 9.4 (Release 2015b)
March 2016 Online Only Revised for Version 9.5 (Release 2016a)
September 2016 Online Only Revised for Version 9.6 (Release 2016b)
March 2017 Online Only Revised for Version 9.7 (Release 2017a)
September 2017 Online Only Revised for Version 9.8 (Release 2017b)
March 2018 Online Only Revised for Version 9.9 (Release 2018a)
September 2018 Online Only Revised for Version 9.10 (Release 2018b)
March 2019 Online Only Revised for Version 10.0 (Release 2019a)
September 2019 Online Only Revised for Version 10.1 (Release 2019b)
March 2020 Online Only Revised for Version 10.2 (Release 2020a)
September 2020 Online Only Revised for Version 10.3 (Release 2020b)
March 2021 Online Only Revised for Version 10.4 (Release 2021a)
September 2021 Online Only Revised for Polyspace Code Prover Version 10.5,
Polyspace Code Prover Server Version 10.5, and
Polyspace Code Prover Access Version 2.5 (Release
2021b)
March 2022 Online Only Revised for Polyspace Code Prover Version 10.6,
Polyspace Code Prover Server Version 10.6, and
Polyspace Access Version 4.0 (Release 2022a)
September 2022 Online Only Revised for Polyspace Code Prover Version 10.7,
Polyspace Code Prover Server Version 10.7, and
Polyspace Access Version 4.1 (Release 2022b)

Contents
Introduction
1
About This User's Guide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-2
Configure Analysis on Desktop
Run Polyspace Analysis on Desktop
2
Add Source Files for Analysis in Polyspace Desktop User Interface
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-2
Polyspace Project and Source File Paths . . . . . . . . . . . . . . . . . . . . . . 2-2
Add Sources from Build Command . . . . . . . . . . . . . . . . . . . . . . . . . . 2-3
Add Sources Manually . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-5
Add Source Files Based on AUTOSAR Design Specifications . . . . . . . 2-6
Run Analysis in Polyspace Desktop User Interface . . . . . . . . . . . . . . . 2-7
Arrange Layout of Windows for Project Setup . . . . . . . . . . . . . . . . . . 2-7
Set Product and Result Location . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-8
Start and Monitor Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-9
Fix Compilation Errors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-9
Open Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-9
Contents of Polyspace Project and Results Folders . . . . . . . . . . . . . 2-11
File Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-11
Files in the Results Folder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-11
Storage of Temporary Files During Polyspace Analysis . . . . . . . . . . 2-13
Create Polyspace Projects from Visual Studio Build . . . . . . . . . . . . 2-14
Create Polyspace Project from Build in Visual Studio Developer
Command Prompt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-14
Create Polyspace Project from Build in Visual Studio IDE . . . . . . . . 2-15
Create Project in Polyspace Desktop User Interface Using
Configuration Template . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Why Use Templates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Use Predefined Template . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Create Your Own Template . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-18
Sharing Project Templates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-20
v
Update Project in Polyspace Desktop User Interface . . . . . . . . . . . . 2-22
Change Folder Path . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-22
Refresh Source List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-23
Refresh Project Created from Build Command . . . . . . . . . . . . . . . . 2-23
Add Source and Include Folders . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-23
Manage Include File Sequence . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-23
Modularize Large Projects in Polyspace Desktop User Interface . . 2-25
Organize Layout of Polyspace Desktop User Interface . . . . . . . . . . . 2-28
Create Your Own Layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-28
Save and Reset Layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-29
Customize Polyspace Desktop User Interface . . . . . . . . . . . . . . . . . . 2-30
Possible Customizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-30
Storage of Polyspace User Interface Customizations . . . . . . . . . . . . 2-32
Upload Results to Polyspace Access . . . . . . . . . . . . . . . . . . . . . . . . . . 2-33
Upload Results from Polyspace Desktop Client . . . . . . . . . . . . . . . . 2-33
Upload Results at Command Line . . . . . . . . . . . . . . . . . . . . . . . . . . 2-34
Results Upload Compatibility and Permissions . . . . . . . . . . . . . . . . 2-34
Run Polyspace Analysis with Windows or Linux Scripts
3
Run Polyspace Analysis from Command Line . . . . . . . . . . . . . . . . . . . 3-2
Specify Sources and Analysis Options Directly . . . . . . . . . . . . . . . . . 3-2
Specify Sources and Analysis Options in Text File . . . . . . . . . . . . . . . 3-2
Create Options File from Build System . . . . . . . . . . . . . . . . . . . . . . . 3-3
Modularize Polyspace Analysis by Using Build Command . . . . . . . . . 3-5
Build Source Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-5
Create One Polyspace Options File for Full Build . . . . . . . . . . . . . . . 3-7
Create Options File for Specific Binary in Build Command . . . . . . . . 3-8
Create One Options File Per Binary Created in Build Command . . . . 3-8
polyspace-configure Source Files Selection Syntax . . . . . . . . . . . . . 3-11
Modularize Polyspace Analysis at Command Line Based on an Initial
Interdependency Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-13
Basic Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-13
Constrain Module Complexity During Partitioning . . . . . . . . . . . . . 3-14
Result Folder Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-14
Forbid Cycles in Module Dependence Graph . . . . . . . . . . . . . . . . . . 3-14
Configure Polyspace Analysis Options in User Interface and Generate
Scripts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-15
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-16
Generate Scripts from Configuration . . . . . . . . . . . . . . . . . . . . . . . 3-16
Run Analysis with Generated Scripts . . . . . . . . . . . . . . . . . . . . . . . 3-17
vi Contents
Run Polyspace Analysis with MATLAB Scripts
4
Integrate Polyspace with MATLAB and Simulink . . . . . . . . . . . . . . . . 4-2
Same Release of Polyspace and MATLAB . . . . . . . . . . . . . . . . . . . . . 4-2
MATLAB Release Earlier Than Polyspace . . . . . . . . . . . . . . . . . . . . . 4-3
Check Integration Between MATLAB and Polyspace . . . . . . . . . . . . . 4-4
Get Started with Polyspace Analysis by Using MATLAB . . . . . . . . . . . 4-5
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-5
Run Polyspace Analysis by Using MATLAB . . . . . . . . . . . . . . . . . . . . 4-5
Frequently Used MATLAB Functions . . . . . . . . . . . . . . . . . . . . . . . . . 4-6
Run Polyspace Analysis by Using MATLAB Scripts . . . . . . . . . . . . . . . 4-9
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-9
Specify Multiple Source Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-9
Check for MISRA C:2012 Violations . . . . . . . . . . . . . . . . . . . . . . . . 4-10
Check for Specific Defects or Coding Rule Violations . . . . . . . . . . . 4-10
Find Files That Do Not Compile . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-11
Run Analysis on Server . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-11
Compare Results from Different Polyspace Runs by Using MATLAB
Scripts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-13
Review Only New Results Compared to Last Run . . . . . . . . . . . . . . 4-13
Review New Results and Unreviewed Results from Last Run . . . . . 4-14
Generate MATLAB Scripts from Polyspace User Interface . . . . . . . 4-16
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-16
Create Scripts from Polyspace Projects . . . . . . . . . . . . . . . . . . . . . . 4-16
Troubleshoot Polyspace Analysis from MATLAB . . . . . . . . . . . . . . . . 4-18
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-18
Capture Polyspace Analysis Errors in Error Log . . . . . . . . . . . . . . . 4-18
Run Polyspace Analysis in Simulink
5
Run Polyspace Analysis on Code Generated with Embedded Coder
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-2
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-2
Generate and Analyze Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-2
Review Analysis Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-4
Annotate Blocks to Justify Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-5
Address Polyspace Results by Annotating Simulink Blocks . . . . . . . . 5-6
Annotate Blocks Through Polyspace User Interface . . . . . . . . . . . . . . 5-6
Annotate Blocks in Simulink Editor . . . . . . . . . . . . . . . . . . . . . . . . . . 5-8
Changes in Polyspace Analysis Workflows in Simulink in R2019b . 5-10
Code Verification Workflow in a Nutshell . . . . . . . . . . . . . . . . . . . . 5-10
Locate Pre-R2019b Menu Items in Simulink Toolstrip . . . . . . . . . . . 5-10
vii
Run Polyspace on Code Generated by Using Previous Releases of
Simulink . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-13
Prerequisite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-13
Run a Cross-Release Polyspace Analysis . . . . . . . . . . . . . . . . . . . . . 5-13
Review Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-14
Run Polyspace Analysis on Code Generated from Simulink Model
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-16
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-16
Open Simulink Model for Polyspace Analysis . . . . . . . . . . . . . . . . . 5-16
Check for Run-Time Errors in Generated Code . . . . . . . . . . . . . . . . 5-17
Review Analysis Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-18
Trace and Fix Issues in the Model . . . . . . . . . . . . . . . . . . . . . . . . . . 5-18
Check for Coding Rule Violations . . . . . . . . . . . . . . . . . . . . . . . . . . 5-23
Annotate Blocks to Justify Results . . . . . . . . . . . . . . . . . . . . . . . . . . 5-24
Fix Model Design Issues Found as Bugs in Generated Code . . . . . . 5-26
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-26
Open Model with Stateflow Chart Containing Design Issues . . . . . . 5-26
Generate and Analyze Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-26
Fix Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-27
Run Polyspace Analysis on Generated Code by Using Packaged
Options Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-31
Generate and Package Polyspace Options Files . . . . . . . . . . . . . . . . 5-31
Run Polyspace Analysis by Using the Packaged Options Files . . . . . 5-33
Run Polyspace Analysis on Custom Code in Simulink Models . . . . . 5-34
Prerequisite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-34
Analyze Custom Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-34
Review Analysis Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-35
Run Polyspace Analysis on S-Function Code . . . . . . . . . . . . . . . . . . . 5-37
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-37
S-Function Analysis Workflow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-37
Compile S-Functions to Be Compatible with Polyspace . . . . . . . . . . 5-37
Example S-Function Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-37
Run Polyspace Analysis on Custom Code in C Caller Blocks and
Stateflow Charts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-39
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-39
C/C++ Function Called Once in Model . . . . . . . . . . . . . . . . . . . . . . 5-39
C/C++ Function Called Multiple Times in Model . . . . . . . . . . . . . . 5-42
Run Polyspace Analysis on Custom Code in C Function Block . . . . 5-47
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-47
Open Model for Running Polyspace Analysis on Custom Code in C
Function Block . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-47
Run Polyspace Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-48
Identify Issues in C Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-49
Fix Identified Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-51
Recommended Model Configuration Parameters for Polyspace
Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-53
viii Contents
Configure Polyspace Options in Simulink . . . . . . . . . . . . . . . . . . . . . 5-55
Configure Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-55
Share and Reuse Configuration . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-57
How Polyspace Analysis of Generated Code Works . . . . . . . . . . . . . . 5-58
Default Polyspace Options for Code Generated with Embedded Coder
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-59
Default Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-59
Constraint Specification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-59
Recommended Polyspace options for Verifying Generated Code . . . 5-60
Hardware Mapping Between Simulink and Polyspace . . . . . . . . . . . 5-60
External Constraints on Polyspace Analysis of Generated Code . . . 5-61
Extract External Constraints from Model . . . . . . . . . . . . . . . . . . . . 5-61
Storage Classes Supported for Constraint Extraction From Simulink
Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-62
Specify Custom External Constraints . . . . . . . . . . . . . . . . . . . . . . . 5-62
Run Polyspace Analysis on Code Generated with TargetLink . . . . . 5-64
Configure and Run Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-64
Review Analysis Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-65
Default Polyspace Options for Code Generated with TargetLink . . . 5-66
TargetLink Support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-66
Default Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-66
Lookup Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-66
Data Range Specification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-67
Code Generation Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-67
Troubleshoot Navigation from Code to Model . . . . . . . . . . . . . . . . . 5-68
Links from Code to Model Do Not Appear . . . . . . . . . . . . . . . . . . . . 5-68
Links from Code to Model Do Not Work . . . . . . . . . . . . . . . . . . . . . 5-68
Your Model Already Uses Highlighting . . . . . . . . . . . . . . . . . . . . . . 5-69
Polyspace Support of MATLAB and Simulink from Different Releases
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-70
Complete Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-71
Cross-Release Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-72
Partial Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-72
Navigate Back to Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-73
Run Polyspace Analysis in MATLAB Coder
6
Run Polyspace on C/C++ Code Generated from MATLAB Code . . . . . 6-2
Prerequisites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-2
Run Polyspace Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-2
Review Analysis Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-4
Run Analysis for Specific Design Range . . . . . . . . . . . . . . . . . . . . . . 6-5
ix
Configure Advanced Polyspace Options in MATLAB Coder App . . . . 6-7
Configure Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-7
Share and Reuse Configuration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-8
Running Polyspace on AUTOSAR Code
7
Using Polyspace in AUTOSAR Software Development . . . . . . . . . . . . 7-2
Check if Implementation of Software Components Follow
Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-2
Assess Impact of Edits to Specifications . . . . . . . . . . . . . . . . . . . . . . 7-3
Check Code Implementation for Run-time Errors and Mismatch with
Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-3
Check Code Implementation Against Specification Updates . . . . . . . 7-4
Choose Between Component-Based and Integration Analysis of
AUTOSAR Code with Polyspace . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-5
Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-5
Similarities and Differences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-5
Choosing Between Component-Based and Integration Analysis . . . . . 7-6
Benefits of Polyspace for AUTOSAR . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-7
Polyspace Modularizes Analysis Based on AUTOSAR Components . . . 7-8
Polyspace Detects Mismatch Between Code and AUTOSAR XML Spec
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-11
Run Polyspace on AUTOSAR Code . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-14
Run Polyspace in User Interface . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-14
Run Polyspace Using Scripts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-17
Select AUTOSAR XML (ARXML) and Code Files for Polyspace
Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-19
Adapt Linux find Command to Select Files . . . . . . . . . . . . . . . . . . . 7-19
File Selection Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-19
File Selection Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-20
Root Folder Specification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-21
Troubleshoot Polyspace Analysis of AUTOSAR Code . . . . . . . . . . . . 7-22
View Project Completion Status . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-22
View Errors in AUTOSAR XML Parsing . . . . . . . . . . . . . . . . . . . . . . 7-23
View Compilation Errors in Code . . . . . . . . . . . . . . . . . . . . . . . . . . 7-23
Interpret Errors and Warnings in Polyspace Analysis of AUTOSAR
Code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-26
Overview of File Structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-26
See File Selections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-27
Run Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-27
Interpret Warnings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-27
Run Polyspace on AUTOSAR Code with Conservative Assumptions
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-29
x Contents