Search results: product_base_code:CS - MATLAB Answers

Filter By

Status Clear

Source Clear

Category Clear

Results for product_base_code:"Polyspace Code Prover Server" (244 results)

Results 1 - 50 of 244

1

answer

0 votes
2 views

Is it safe to use the latest version of Polyspace Access ? Is Polyspace Access compatible with older releases ?

Asked by MathWorks Support Team on 14 Nov 2023

Latest activity Edited by MathWorks Support Team on 17 Apr 2024 at 16:07

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

1

answer

0 votes
16 views

How to integrate polyspace with jenkins 2.355

Asked by Naveed on 11 Apr 2024 at 11:52

Latest activity Answered by Song-Hyun Ji on 15 Apr 2024 at 8:05

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

1

answer

0 votes
4 views

How to debug a polyspace-configure issue?

Asked by MathWorks Support Team on 2 Nov 2023

Latest activity Edited by MathWorks Support Team on 22 Mar 2024

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

1

answer

0 votes
1 view

MISRA-C-2012

Asked by Luis Blanco Abruña on 24 Jan 2019

Latest activity Answered by Kausthub on 16 Mar 2024

Simulink Modeling Modeling Guidelines High-Integrity System Modeling MISRA C:2012 Compliance Considerations

2

answers

3 votes
63 views

How do I use Polyspace Bug Finder with Jenkins?

Asked by MathWorks Support Team on 20 Apr 2016

Latest activity Edited by MathWorks Support Team on 15 Nov 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
9 views

Is the QCC compiler supported by Polyspace?

Asked by MathWorks Support Team on 14 Nov 2023

Latest activity Answered by MathWorks Support Team on 14 Nov 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
11 views

Why do I get an error like "cannot open shared object file: ps_windows_dllinject.dll" using polyspace-configure?

Asked by MathWorks Support Team on 7 Aug 2023

Latest activity Edited by MathWorks Support Team on 6 Nov 2023

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

1

answer

0 votes
1 view

Can the Polyspace project configuration file use relative instead of absolute path names?

Asked by MathWorks Support Team on 2 Nov 2023

Latest activity Answered by MathWorks Support Team on 3 Nov 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

0

answers

0 votes
13 views

How can I get the api-key for polyspace access?

Asked by 은규 이 on 31 Oct 2023

Latest activity Edited by Gary on 1 Nov 2023

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

Unable to get Blob file :Polyspace error

Asked by Abhilash Hegde on 24 Dec 2018

Latest activity Commented on by Shubham on 6 Oct 2023

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

2

answers

0 votes
21 views

How is this DRS (Data Range Specification )in Polyspace code prover is generated?

Asked by Shaku kaa on 19 Sep 2016

Latest activity Commented on by Mukesh Agarwal on 2 Oct 2023

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

1

answer

2 votes
2 views

Why Polyspace Code prover do not permit to check some MISRA rule ?

Asked by Pascal Carré on 7 Mar 2019

Latest activity Answered by Shubham on 25 Sep 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

Adding custom labels to project runs carried out in Polyspace Server R2021a

Asked by MathWorks Support Team on 8 Feb 2023

Latest activity Answered by MathWorks Support Team on 13 Feb 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

0

answers

1 vote
3 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
0 views

Polyspace Code Prover User Program Error: No functions available that are out of class scope to call with -main-generator-calls option

Asked by MathWorks Support Team on 26 Jan 2023

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

2

answers

0 votes
15 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

2

answers

0 votes
37 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
45 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
26 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
22 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

0 votes
2 views

Will the txt format for the DRS be understood with next releases (xml format is the offical one now) ?

Asked by Frederic Retailleau on 8 Nov 2018

Latest activity Commented on by Kariyappa Jaggal on 8 Mar 2022

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

1

answer

0 votes
31 views

Why isn't a justification appearing in the generated Polyspace report, although I can view it in the Polyspace UI?

Asked by MathWorks Support Team on 25 May 2021

Latest activity Edited by MathWorks Support Team on 26 Oct 2021

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Code Prover Review Analysis Results Review Polyspace Code Prover Results in Polyspace User Interface Reports and Metrics Generate Reports

3

answers

0 votes
1 view

Import Comments from PolySpace 2010b(V8.0) to PolySpace V8.5?

Asked by ES on 3 Jul 2014

Latest activity Edited by Latisha Lee on 21 Apr 2021

Accepted Answer by Alexandre De Barros

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

Unable to access Polyspace Metrics http address

Asked by Dylan Erickson on 16 Nov 2016

Latest activity Commented on by Darshan Gade on 5 Mar 2021

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

1

answer

0 votes
12 views

Polyspace code prover crashes with Internal error

Asked by Rahul K on 6 Nov 2018

Latest activity Edited by Alexandre De Barros on 24 Nov 2020

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

Why do I get the error "Undefined variable "com" or class "com.mathworks.jmi.ClassLoaderManager.getClassLoaderManager" when trying to retrieve results from the R2019a Polyspace Job Manager?

Asked by MathWorks Support Team on 22 May 2019

Latest activity Edited by MathWorks Support Team on 28 Jul 2020

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
10 views

How do I download Polyspace product directly from Linux desktop

Asked by Qiong Lan on 29 May 2020

Latest activity Commented on by Qiong Lan on 3 Jun 2020

MATLAB Installation and Licensing Install Products Introduction to Installation and Licensing

3

answers

0 votes
14 views

MISRA rules violations of Generated Code for Embedded Coder

Asked by Ismael Lafoz on 19 Sep 2018

Latest activity Answered by Michael Burke on 2 Dec 2019

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

2

answers

0 votes
3 views

Where can I find Polyspace documentation?

Asked by MathWorks Support Team on 28 Mar 2013

Latest activity Answered by Anirban on 7 Aug 2019

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

0

answers

0 votes
1 view

Update Polyspace DRS from a script

Asked by Cory Mohling on 15 Jan 2019

Latest activity Edited by Christoph Reitbauer on 3 Jul 2019

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

2

answers

0 votes
0 views

Polyspace web server can not be found:

Asked by Neil Augustine on 26 Aug 2014

Latest activity Edited by Anusha Sridharan on 8 May 2019

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

How to remedy Polyspace "Error: No QueueManager server found."

Asked by Jens Schweikhardt on 26 Apr 2019

Latest activity Answered by Jens Schweikhardt on 26 Apr 2019

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

Why Does the Polyspace Analysis Terminate Early?

Asked by MathWorks Support Team on 29 Jan 2019

Latest activity Answered by MathWorks Support Team on 6 Mar 2019

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
7 views

Where are log files for debugging PolySpace located?

Asked by MathWorks Support Team on 8 Mar 2011

Latest activity Edited by MathWorks Support Team on 26 Feb 2019

Accepted Answer by MathWorks Support Team

MATLAB Installation and Licensing Manage Products

1

answer

0 votes
1 view

Why does my verification stop with the message "Failure with error code 241"?

Asked by MathWorks Support Team on 23 Sep 2011

Latest activity Edited by MathWorks Support Team on 26 Feb 2019

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
48 views

Why is the MISRA-C:2012 directive D4.10 raised on #pragma once?

Asked by MathWorks Support Team on 22 Feb 2019

Latest activity Answered by MathWorks Support Team on 22 Feb 2019

Accepted Answer by MathWorks Support Team

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

0

answers

0 votes
0 views

Poly space result is aborted

Asked by ashutosh mishra on 6 Feb 2019

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

0

answers

0 votes
1 view

How to put poly space annotation in m code which generates to c code

Asked by Hariom Singh on 24 Jan 2019

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

0

answers

0 votes
1 view

Is it possible to create a module that uses only a subset of the project's include folders in Polyspace BugFinder/CodeProver?

Asked by Marcella Ugliano on 24 Jan 2019

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 do i save past code prover results 2018a?

Asked by Cory Mohling on 4 Jan 2019

Latest activity Answered by Cory Mohling on 10 Jan 2019

Accepted Answer by Cory Mohling

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

0

answers

0 votes
0 views

Intermediate language translation stage taking too much time

Asked by Abhilash Hegde on 26 Dec 2018

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

1

answer

0 votes
4 views

Can Polyspace prove recursion to be impossible?

Asked by Stein Heselmans on 8 Dec 2017

Latest activity Answered by Anirban on 13 Dec 2018

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

Display deactivated code in Polyspace Code Prover 2017b

Asked by FlFi on 12 Dec 2018

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

0

answers

0 votes
2 views

Expected a ";" warning in Polyspace 2012b

Asked by Sujay Patil on 6 Dec 2018

Latest activity Commented on by Walter Roberson on 6 Dec 2018

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

1

answer

0 votes
1 view

How to open polyspace R2016b project in polyspace R2012 b version?

Asked by Indraja Naga Sai Boorlagadda on 4 Dec 2018

Latest activity Answered by Alexandre De Barros on 5 Dec 2018

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options

1

answer

0 votes
10 views

How to increase the available memory for Polyspace Report Generator with PDF output format?

Asked by MathWorks Support Team on 4 Dec 2018

Latest activity Edited by MathWorks Support Team on 4 Dec 2018

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

0

answers

0 votes
0 views

what are PC requirements for installing Network Named User(NNU) and Floating license of 2015b version?

Asked by Madhav Kumar Akula on 4 Dec 2018

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

How to generate the shared unprotected global variables list in polyspace R2016b

Asked by Indraja Naga Sai Boorlagadda on 4 Dec 2018

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

1

answer

0 votes
3 views

System error No such file or directory (noent: No such file or directory) exception Io(Io) raised. For some files in code prover verfication log file

Asked by Viraj Potan on 29 Nov 2018

Latest activity Answered by Alexandre De Barros on 29 Nov 2018

Code Generation Embedded Coder Deployment, Integration, and Supported Hardware Embedded Coder Supported Hardware ARM Cortex-A Processors

1

answer

0 votes
0 views

How do I create a Review Scope report with pass/failed values using Polyspace?

Asked by MathWorks Support Team on 19 Nov 2018

Latest activity Answered by MathWorks Support Team on 19 Nov 2018

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

Results 1 - 50 of 244