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 101 - 150 of 244

1

answer

0 votes
0 views

Can I include .XC source files in a Polyspace Code Prover project?

Asked by MathWorks Support Team on 26 Jun 2017

Latest activity Answered by MathWorks Support Team on 26 Jun 2017

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

0

answers

0 votes
1 view

How can I set in Polyspace a *Pointer_TO_BOOLEAN to be recognized as an effective boolean type?

Asked by Cristian PASCALAU on 29 Nov 2016

Latest activity Commented on by Lorenz Mende on 23 Jun 2017

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

Pass/Fail not filled out in Polyspace report

Asked by Mark R on 30 Jan 2017

Latest activity Commented on by Lorenz Mende on 23 Jun 2017

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

Polyspace code prover report customization

Asked by hanssti on 31 May 2017

Latest activity Commented on by Lorenz Mende on 23 Jun 2017

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

0

answers

0 votes
0 views

How DRS affects list of checks?

Asked by Shaku kaa on 21 Feb 2017

Latest activity Commented on by Tjorben Gross on 16 May 2017

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

1

answer

0 votes
6 views

Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?

Asked by Ali Khalil on 17 Aug 2015

Latest activity Answered by Matt Rhodes on 15 May 2017

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

In Polyspace Code, while configuring DRS, even if a user defined function's argument is initialized with "Init Range", it is not affective in verification

Asked by Praveen Nerji on 28 Sep 2015

Latest activity Answered by Matt Rhodes on 15 May 2017

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

PS-CP: is it possible, to add a sourcefile which contains all necessary stubs for a PS project when all sourcefiles will be verified independently?

Asked by Thomas on 9 May 2017

Latest activity Commented on by Thomas on 11 May 2017

Accepted Answer by Alexandre De Barros

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

2

answers

0 votes
4 views

polyspace code prover: variable range does not change after function call

Asked by JohRue on 15 Mar 2016

Latest activity Edited by Jan Kablitz on 8 May 2017

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

Is it possible to compare 2 DRS files

Asked by Shaku kaa on 21 Feb 2017

Latest activity Answered by Tjorben Gross on 19 Apr 2017

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

Interrupt Service Routine not reached

Asked by Ramakrishnan Murthy on 17 Apr 2017

Latest activity Answered by Sonam Gupta on 19 Apr 2017

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

Problem while derefrance the void pointer?

Asked by Nikhil Chaudhari on 14 Mar 2017

Latest activity Edited by Gary on 13 Apr 2017

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

Why does Polyspace say my code violates MISRA 8.1 when I have a prototype for my function?

Asked by MathWorks Support Team on 19 Aug 2016

Latest activity Answered by MathWorks Support Team on 23 Mar 2017

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Products for Ada Reports and Metrics Generate Report

1

answer

0 votes
2 views

In Polyspace version 2016B.How to generate Intermediate files(.CI)

Asked by masthanaiah patnam on 23 Feb 2017

Latest activity Answered by Alexandre De Barros on 28 Feb 2017

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

1

answer

0 votes
0 views

Open Polyspace R2016a results in R2015a

Asked by Mark R on 21 Feb 2017

Latest activity Commented on by Mark R on 28 Feb 2017

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

How can I download the results of a verification (unit-by-unit or integration) in the repository?

Asked by MathWorks Support Team on 22 Jun 2012

Latest activity Edited by MathWorks Support Team on 21 Feb 2017

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Code Prover Verification

0

answers

0 votes
0 views

How to skip compilation after applying DRS to observe the change in the result?

Asked by Shaku kaa on 20 Feb 2017

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

Not able to view user defined version number for polyspace results in web metrics site

Asked by Mohammed Abdul Muheet on 16 Feb 2017

Latest activity Edited by Mohammed Abdul Muheet on 16 Feb 2017

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

Comparing 2 Polyspace code prover Results

Asked by Shaku kaa on 12 Feb 2017

Latest activity Answered by Alexandre De Barros on 13 Feb 2017

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

1

answer

0 votes
6 views

The Analysis has been stop by timeout(after 86400 seconds).

Asked by Nikhil Chaudhari on 1 Feb 2017

Latest activity Answered by Lucas Lebert on 3 Feb 2017

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 do I have an error message when I try to start polyspaced daemon using Polyspace server?

Asked by MathWorks Support Team on 24 Nov 2011

Latest activity Edited by MathWorks Support Team on 1 Feb 2017

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

Enums in Bitfields [Greenhills PowerPC Compiler for C]

Asked by Mark R on 19 Jan 2017

Latest activity Commented on by Mark R on 30 Jan 2017

Accepted Answer by Alexandre De Barros

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

How to enable automatic stubbing option in 2016b polyspace code prover?

Asked by Debadutta Patra on 19 Jan 2017

Latest activity Answered by Alexandre De Barros on 24 Jan 2017

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

How can I fix conflicting "main" functions that prevent Code Prover analysis from completing?

Asked by bcoover on 3 Jan 2017

Latest activity Answered by Jordan Ross on 9 Jan 2017

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

Does polyspace throws a red error for the 64 bit pointers? Error: pointer is outside its bounds. How can we remove it?

Asked by Charu Kamboj on 28 Dec 2016

Latest activity Commented on by Lucas Lebert on 4 Jan 2017

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

0

answers

0 votes
3 views

Stubbed function range specification

Asked by Shaku kaa on 2 Dec 2016

Latest activity Commented on by Ma Ka on 19 Dec 2016

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

Define as Not called by generated main

Asked by Shaku kaa on 17 Dec 2016

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

0

answers

1 vote
0 views

which are the files hold the justification comments in polyspace code prover.

Asked by Shaku kaa on 6 Dec 2016

Latest activity Edited by Shaku kaa on 6 Dec 2016

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

[polyspace Code Prover]: unit by unit mode and integration

Asked by dakhlaoui zina on 17 Nov 2016

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 Gray result UNP error type, what is UNP?

Asked by Anastasios Moraitis on 8 Nov 2016

Latest activity Answered by Alexandre De Barros on 8 Nov 2016

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

1

answer

1 vote
1 view

Data Range Specification file - how to force Code Prover to use the right one?

Asked by Jeff Campbell on 31 Oct 2016

Latest activity Commented on by Jeff Campbell on 2 Nov 2016

Accepted Answer by Alexandre De Barros

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

Polyspace and Report Generator: "PolyspaceData"

Asked by Patrick Schuster on 16 Aug 2016

Latest activity Answered by Christian Bard on 2 Nov 2016

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

Customizing Polyspace Code Prover Report

Asked by Shaku kaa on 30 Sep 2016

Latest activity Answered by Christian Bard on 2 Nov 2016

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

1

answer

0 votes
2 views

When I am creating a project manually in Polyspace and I need to add custom include files, I select the folder containing include files and select option 'Add Include Folder'. In this case what all types of header files are included?

Asked by Akshay Kashyap on 15 Oct 2016

Latest activity Answered by Alexandre De Barros on 28 Oct 2016

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

1

answer

0 votes
0 views

Best HW server configuration for Polyspace static code analysis?

Asked by Jeevan on 14 Oct 2016

Latest activity Answered by Alexandre De Barros on 28 Oct 2016

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

How to Customize Polyspace code prover Report?

Asked by Shaku kaa on 29 Sep 2016

Latest activity Answered by Alexandre De Barros on 6 Oct 2016

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

1

answer

0 votes
1 view

Boolean conditions in DRS of POlyspace code prover

Asked by Shaku kaa on 19 Sep 2016

Latest activity Answered by Alexandre De Barros on 20 Sep 2016

Accepted Answer by Alexandre De Barros

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

XML reports generation available for future releases

Asked by Daniel Popu on 19 Jul 2016

Latest activity Answered by Alexandre De Barros on 19 Sep 2016

Code Verification Polyspace Products for Ada Reports and Metrics Generate Report

0

answers

0 votes
0 views

How to include another source file to Polyspace Code Prover analysis WITHOUT verifying this extra file?

Asked by Fredrik Ellis on 6 Apr 2016

Latest activity Commented on by Lorenz Mende on 19 Sep 2016

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

How to add array to constants in Polyspace Code Prover ?

Asked by Shaku kaa on 19 Sep 2016

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

What Polyspace files should I archive along with source code, etc.?

Asked by Scott Berg on 24 Aug 2016

Latest activity Answered by Alexandre De Barros on 25 Aug 2016

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

Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?

Asked by Ali Khalil on 17 Aug 2015

Latest activity Edited by Maja Petkovic on 22 Aug 2016

Accepted Answer by Alexandre De Barros

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

0

answers

0 votes
0 views

Wy there are no min max values generated for TL output signals? (R2014a)

Asked by Patricia on 2 Aug 2016

Latest activity Edited by Patricia on 2 Aug 2016

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

2

answers

0 votes
1 view

Request for the certification

Asked by Juyean Hong on 9 Jun 2016

Latest activity Answered by Walter Roberson on 21 Jul 2016

Code Generation IEC Certification Kit (for ISO 26262 and IEC 61508) Get Started

0

answers

0 votes
1 view

Polyspace Code Prover 2015a: Unexpexted error (parallel: task: MJSUnableToSubmitResult)

Asked by Dimo on 20 Jun 2016

Latest activity Commented on by Dimo on 23 Jun 2016

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

Polyspace Code Prover - Compile Project without CP License

Asked by Harald Cichos on 19 May 2016

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

Results/Polyspace-Doc/*.pdf shows only #### instead of text - font problem?

Asked by Tommy on 18 May 2016

Latest activity Edited by Tommy on 18 May 2016

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

Permission denied error after having changed admin account

Asked by JoongHyup Lee on 6 Apr 2016

Latest activity Commented on by JoongHyup Lee on 8 Apr 2016

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

1

answer

0 votes
0 views

Can you import Bug Finder results into Code Prover and vice versa?

Asked by MarkC on 17 Mar 2016

Latest activity Answered by MarkC on 17 Mar 2016

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

1

answer

0 votes
6 views

polyspace compile error for a Keil project

Asked by Gu on 13 Feb 2016

Latest activity Answered by Alexandre De Barros on 21 Feb 2016

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

Results 101 - 150 of 244