Search results: product_base_code:CD - MATLAB Answers

Filter By

Status Clear

Source Clear

Category Clear

Results for product_base_code:"Polyspace Code Prover" (430 results)

Results 51 - 100 of 430

0

answers

1 vote
2 views

Error: required main procedure not found

Asked by Sriram G on 18 Apr 2018

Latest activity Commented on by Ab on 27 Jan 2023

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
1 view

Where do I find the duration of each analysis phase in Polyspace?

Asked by MathWorks Support Team on 6 Dec 2022

Latest activity Answered by MathWorks Support Team on 26 Jan 2023

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
148 views

How do I use Polyspace with Simulink?

Asked by MathWorks Support Team on 4 Apr 2019

Latest activity Edited by MathWorks Support Team on 26 Jan 2023

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
2 views

compatibility of polyspace 2019a with matlab 2021b

Asked by Deepak Simpi on 12 Jan 2023

Latest activity Edited by Anirban on 16 Jan 2023

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

0

answers

0 votes
4 views

Data Race Atomic Operations

Asked by Husnu umut Okur on 13 Jan 2023

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

1

answer

0 votes
0 views

Code Prover and Bug Finder finding race condition bug problem.

Asked by Husnu umut Okur on 7 Jan 2023

Latest activity Commented on by Husnu umut Okur on 13 Jan 2023

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
0 views

Code prover gives force refined shared variables analysis error.

Asked by Husnu umut Okur on 7 Jan 2023

Latest activity Commented on by Husnu umut Okur on 13 Jan 2023

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

1

answer

0 votes
22 views

Is it possible to use Polyspace with Docker?

Asked by MathWorks Support Team on 25 Jun 2018

Latest activity Edited by MathWorks Support Team on 10 Jan 2023

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

2

answers

0 votes
16 views

Convertion from U16 in U8 results overflow. Why?

Asked by Cristina Golie on 10 Apr 2015

Latest activity Edited by MathWorks Support Team on 10 Jan 2023

Accepted Answer by Alexandre De Barros

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

1

answer

0 votes
2 views

How to fix memory usage in Code Prover ?

Asked by Husnu umut Okur on 27 Dec 2022

Latest activity Answered by Anirban on 3 Jan 2023

Code Verification Polyspace Code Prover Configure and Run Analysis Set Up Code Prover Analysis on Servers During Continuous Integration

1

answer

0 votes
3 views

How to fix gray checks and unreachable functions at Code Prover ?

Asked by Husnu umut Okur on 27 Dec 2022

Latest activity Answered by Anirban on 3 Jan 2023

Code Verification Polyspace Code Prover Review Analysis Results Review Polyspace Code Prover Results in Polyspace User Interface Interpret Code Prover Results

1

answer

0 votes
9 views

Code Prover Unreachable code and function

Asked by Husnu umut Okur on 2 Jan 2023

Latest activity Answered by Anirban on 3 Jan 2023

Code Verification Polyspace Test Author or Generate Tests Author and Run Tests in Polyspace Platform User Interface Running Static Analysis Along With Tests

1

answer

0 votes
1 view

Parsing error while opening polysapce project created by Build command

Asked by Godaba u Sai Priyanka on 26 Dec 2022

Latest activity Answered by Anirban on 3 Jan 2023

Accepted Answer by Anirban

Code Verification Polyspace Code Prover

1

answer

0 votes
5 views

While integrating polyspace 2019a with Matlab 2019a Im getting an error stating undefined function or variable 'polyspacesetup'

Asked by Mahesh_14039798 on 19 Dec 2022

Latest activity Edited by Anirban on 3 Jan 2023

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
5 views

How to detect race condition in Polyspace

Asked by MathWorks Support Team on 19 Dec 2022

Latest activity Answered by MathWorks Support Team on 19 Dec 2022

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

2

answers

0 votes
11 views

DRS File Polyspace with unknown struct of pointer

Asked by Christian on 13 Dec 2022

Latest activity Edited by Anirban on 16 Dec 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

1

answer

0 votes
0 views

Why is the Polyspace tab for pre-R2013b releases not available when attempting to download?

Asked by MathWorks Support Team on 11 Oct 2017

Latest activity Edited by MathWorks Support Team on 14 Nov 2022

Accepted Answer by MathWorks Support Team

MATLAB Installation and Licensing Downloads

1

answer

0 votes
1 view

A strange error occurs during Compilation part Failed with the message: The process “ps_cxx_fe” received the signal 9

Asked by Avinesh Bala on 23 May 2022

Latest activity Edited by Benjamin Colle on 20 Oct 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
0 views

Polyspace: Only one (green) check despite expecting multiple hundreds of checks

Asked by Fabian Milczewski on 14 Sep 2022

Latest activity Edited by Anirban on 15 Sep 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
3 views

polyspace-autosar lock analysing after reading of arxml source

Asked by Cezary Bazdyga on 18 Aug 2022

Latest activity Edited by Anirban on 18 Aug 2022

Code Verification Polyspace Code Prover Troubleshooting in Polyspace Code Prover Troubleshoot Running Polyspace Analysis Troubleshoot Project Creation

1

answer

0 votes
1 view

Red checks are added when number of files are added

Asked by Pranjali Vakil on 17 Aug 2022

Latest activity Edited by Anirban on 17 Aug 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

2

answers

0 votes
8 views

How to Download Jobs scheduled by a specific User on Polyspace Job Monitor from a group of Jobs scheduled by Multiple user ?

Asked by Ami on 2 Aug 2022

Latest activity Commented on by Anirban on 12 Aug 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
4 views

False negatives for MISRA 9.3 missed for float array partial initialization

Asked by David Sosa on 5 Aug 2022

Latest activity Edited by David Sosa on 11 Aug 2022

Accepted Answer by Christian Bard

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
1 view

False positive candidate Rule 10.3 for float array zero-initialization

Asked by David Sosa on 4 Aug 2022

Latest activity Commented on by David Sosa on 4 Aug 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
0 views

Will Polyspace check code within a Simulink user-defined function block?

Asked by Darren Simoni on 19 Jul 2022

Latest activity Answered by Anirban on 25 Jul 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Set Up Bug Finder Analysis on Desktop Bug Finder Analysis in Simulink

1

answer

0 votes
4 views

Disable some (specific) orange checks in Code Prover

Asked by Luis Blanco Abruña on 11 Jul 2022

Latest activity Edited by Anirban on 11 Jul 2022

Code Verification Polyspace Code Prover Review Analysis Results Review Polyspace Code Prover Results in Polyspace User Interface Interpret Code Prover Results

1

answer

0 votes
8 views

Why Code Prover cannot detect Out of bound array index?

Asked by Tran Thang on 28 Apr 2020

Latest activity Edited by Anirban on 1 Jul 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

1

answer

0 votes
6 views

Why Polyspace Code Prover does not consider 'memcpy' declaration in default way & for that I am getting MISRA C violations of Rule 17.3?

Asked by Venkata Narendra on 28 Jun 2022

Latest activity Answered by Anirban on 28 Jun 2022

Code Verification Polyspace Test Author or Generate Tests Author and Run Tests in Polyspace Platform User Interface Running Static Analysis Along With Tests

1

answer

0 votes
10 views

Polyspace Overflow Orange Checks

Asked by Zulham Mr on 23 Jun 2022

Latest activity Commented on by Zulham Mr on 28 Jun 2022

Accepted Answer by Anirban

Code Verification Polyspace Code Prover Review Analysis Results Review Polyspace Code Prover Results in Polyspace User Interface Interpret Code Prover Results

1

answer

0 votes
1 view

Is it possible to create a project file specifically for Bug Finder or Code Prover?

Asked by Peter Bauer on 9 Jun 2022

Latest activity Edited by Anirban on 14 Jun 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
12 views

DRS option is limited in Polyspace Code Prover

Asked by Zulham Mr on 28 May 2022

Latest activity Commented on by Zulham Mr on 5 Jun 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Target and Compiler

2

answers

0 votes
38 views

Why do I receive a message 'No space left on device' when using PolySpace for C/C++ on server side?

Asked by MathWorks Support Team on 15 Oct 2012

Latest activity Answered by Anirban on 24 May 2022

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Products for Ada Troubleshooting in Polyspace Products for Ada

2

answers

0 votes
39 views

What is the correct annotation syntax in Polyspace Bug Finder/Code Prover for multi-line comment annotations in source code?

Asked by Ryan on 3 Mar 2014

Latest activity Answered by Anirban on 23 May 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

1 vote
29 views

Report generation along with successful Polyspace analysis results using command line option

Asked by sharath jakku on 28 Jun 2017

Latest activity Commented on by Anirban on 23 May 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

2

answers

0 votes
25 views

Why does Polyspace report "MISRA C:2012 10.3 and 10.4"

Asked by Cristian PASCALAU on 28 Nov 2016

Latest activity Answered by Anirban on 23 May 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

1 vote
122 views

How do I install Polyspace for R2019a and later?

Asked by MathWorks Support Team on 20 Aug 2019

Latest activity Edited by MathWorks Support Team on 13 May 2022

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
0 views

How to see the checkbox of the "Upload results to Polyspace Metrics" option under Run Settings in Polyspace Configuration UI?

Asked by MathWorks Support Team on 9 May 2022

Latest activity Answered by MathWorks Support Team on 9 May 2022

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

1

answer

0 votes
0 views

Polyspace Orange Check: Adding DRS for array

Asked by Zulham Mr on 5 May 2022

Latest activity Commented on by Zulham Mr on 6 May 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

1

answer

0 votes
4 views

Exceeds internal limit of 256 Mb, Continuing analysis but unexpected issues might occur later during Polyspace Code Prover Analysis.

Asked by Surendra Bammidi on 5 May 2022

Latest activity Answered by Anirban on 5 May 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
7 views

Polyspace: expression must have a constant value

Asked by Zulham Mr on 28 Apr 2022

Latest activity Commented on by Zulham Mr on 3 May 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

0

answers

0 votes
1 view

polyspace: "C to intermediate language translation - 4.5.2.1.1" freeze and not proceed

Asked by Alessandro Cattaneo on 26 Apr 2022

Latest activity Commented on by Anirban on 26 Apr 2022

Code Verification Polyspace Products for Ada Reports and Metrics Generate Report

1

answer

0 votes
5 views

Polyspace: Errors from Using Namespace std Without Prefix

Asked by Zulham Mr on 23 Apr 2022

Latest activity Commented on by Zulham Mr on 26 Apr 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

0

answers

0 votes
0 views

Platform Support Update for MATLAB

Asked by Martin Dowie on 12 Apr 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
1 view

Issue with Polyspace Code Prover Autosar software component Analysis, How can I resolve it?

Asked by Venkata Narendra on 4 Apr 2022

Latest activity Answered by Anirban on 4 Apr 2022

Code Verification Polyspace Code Prover Configure and Run Analysis Set Up Code Prover Analysis on Desktop Code Prover Analysis of AUTOSAR Code

1

answer

0 votes
9 views

Execution time of polyspace-configure when using a compilation database file

Asked by Peter Bauer on 22 Mar 2022

Latest activity Commented on by Peter Bauer on 4 Apr 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
4 views

Is it possible to use Polyspace under WSL?

Asked by MathWorks Support Team on 13 Sep 2018

Latest activity Edited by MathWorks Support Team on 24 Mar 2022

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
14 views

How to fix 13.3 MISRA-C 2012 Polyspace Warning?

Asked by Undali Muniranga on 17 Mar 2022

Latest activity Commented on by Undali Muniranga on 17 Mar 2022

Accepted Answer by Walter Roberson

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Bug Finder Analysis

1

answer

0 votes
3 views

Please answer, How to fix 5.4 MISRA-C 2012 Polyspace Warning?

Asked by Undali Muniranga on 16 Mar 2022

Latest activity Commented on by Undali Muniranga on 17 Mar 2022

Accepted Answer by Fangjun Jiang

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking

0

answers

0 votes
0 views

Problems to execute qualkitdo_codeproverserver on Centos 7

Asked by Luis Blanco Abruña on 11 Mar 2022

Latest activity Commented on by Luis Blanco Abruña on 15 Mar 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

1

answer

0 votes
4 views

gcc (GCC) 4.4.7 20120313 (Red Hat 4.4.7-4)

Asked by Chinh HuynhKim on 8 Mar 2022

Latest activity Commented on by Anirban on 14 Mar 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Run Settings

Results 51 - 100 of 430