Search results: product_base_code:BS - MATLAB Answers

Filter By

Status Clear

Source Clear

Category Clear

Results for product_base_code:"Polyspace Bug Finder Server" (149 results)

Results 51 - 100 of 149

1

answer

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

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

1

answer

0 votes
2 views

Need help with polyspace bug finder when compiler and target is not already configured

Asked by Nidhi Mehta on 28 Nov 2018

Latest activity Commented on by Nidhi Mehta on 30 Nov 2018

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

0

answers

0 votes
0 views

Polypace bugfinder R2018A does not start on ubuntu 18.04.1 LTS

Asked by Stein Heselmans on 18 Oct 2018

Latest activity Commented on by Alexandre De Barros on 23 Oct 2018

Code Verification Polyspace Bug Finder Get Started with Polyspace Bug Finder

1

answer

0 votes
0 views

Identifier __builtin_ia32_permdi256_mask and more undefined.

Asked by Markus Hamm on 1 Oct 2018

Latest activity Answered by Markus Hamm on 12 Oct 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

Fail Report generator test with qualkitdo_bugfinder_tcp.bat

Asked by Len Wolfe on 18 Sep 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

Why does it verifiction failed,it show"Error: Exiting because of previous error System error !";

Asked by BOB XU on 13 Sep 2018

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

1

answer

0 votes
15 views

Why does the Polyspace Report Generator terminate with an error?

Asked by MathWorks Support Team on 18 Oct 2013

Latest activity Edited by MathWorks Support Team on 11 Sep 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

1

answer

0 votes
8 views

How can I generate a Polyspace Bug Finder or Code Prover report which includes SQO thresholds from command line in R2018a?

Asked by MathWorks Support Team on 5 Sep 2018

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

How can the severity of the error be ranked in MISRA violations matrix?

Asked by Abhilash Hegde on 3 Sep 2018

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

MISRA C:2012 Dir 4.7: Bug Finder documentation mentions this directive is "partially supported"?

Asked by Lauren Rush on 27 Aug 2018

Latest activity Commented on by Lauren Rush on 28 Aug 2018

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

0

answers

0 votes
4 views

Updating Polyspace Project File using Command Line Interface

Asked by Charan Ram Akupati on 5 Jun 2018

Latest activity Edited by Matt Rhodes on 27 Jul 2018

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

1

answer

0 votes
23 views

Why do I get this error when using polyspace-configure: ERROR: No compilation unit detected in your build?

Asked by MathWorks Support Team on 26 Jun 2018

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

1

answer

0 votes
1 view

Justify Results Through Code Annotations: File Scope

Asked by Steffen Beck on 6 Jul 2018

Latest activity Answered by Steffen Beck on 9 Jul 2018

Accepted Answer by Steffen Beck

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Defects Tainted Data Defects

0

answers

0 votes
4 views

Bug Finder reports false positive MISRA violation 5-0-15 on restrict pointers

Asked by Thomas EB on 20 Jun 2018

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

Why do I get: "Error could not open file results-repository-infos.txt for writing" when trying to download results from Web Metrics using Polyspace R2017b?

Asked by MathWorks Support Team on 13 Jun 2018

Latest activity Answered by MathWorks Support Team on 13 Jun 2018

Accepted Answer by MathWorks Support Team

MATLAB Installation and Licensing Downloads

0

answers

0 votes
0 views

Polyspace report generator terminates with error:Error using cellfun.Input #2 expected to be a cell array, was struct instead.

Asked by Satinder Sekhon on 12 Jun 2018

Latest activity Edited by Satinder Sekhon on 12 Jun 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

polyspace-report-generator crashes

Asked by Jason Hampson on 11 Jun 2018

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 am I getting 'side-by-side configuration is incorrect' error when running Polyspace?

Asked by MathWorks Support Team on 5 Jul 2017

Latest activity Edited by MathWorks Support Team on 7 Jun 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

2

answers

0 votes
1 view

Reconciling Polyspace Unused Parameter and MISRA 2.2 No Dead Code Warning

Asked by Kier on 13 Apr 2017

Latest activity Answered by Kier on 4 Jun 2018

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

1

answer

0 votes
28 views

How to use Polyspace inside IAR Embbeded Workbench?

Asked by MathWorks Support Team on 25 May 2018

Latest activity Answered by MathWorks Support Team on 25 May 2018

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Code Prover

1

answer

0 votes
0 views

How do I mix releases of Polyspace on same cluster since R2016b?

Asked by MathWorks Support Team on 29 Nov 2017

Latest activity Edited by MathWorks Support Team on 16 May 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

1

answer

0 votes
0 views

Why do I receive "Error:Could not start the daemon" while configuring Polyspace Server Remote Verification?

Asked by MathWorks Support Team on 1 May 2018

Latest activity Answered by MathWorks Support Team on 1 May 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
1 view

Report Generation checkID errors

Asked by Alper Onrat on 26 Apr 2018

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

1

answer

0 votes
0 views

Polyspace Model Link SL/TL a part of Code Prover/Bug Finder?

Asked by Rashmi Bharadwaja on 5 Apr 2018

Latest activity Answered by Wilson A N on 11 Apr 2018

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 PDF report not rendering characters

Asked by Stein Heselmans on 13 Mar 2018

Latest activity Answered by Stein Heselmans on 9 Apr 2018

Accepted Answer by Stein Heselmans

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
1 view

Polyspace Ignore operators for custom function naming convention

Asked by Connor Garet on 27 Mar 2018

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

Are newer versions of Polyspace compatible with older versions of Matlab?

Asked by Benjamin Jones on 20 Mar 2018

Latest activity Answered by Alexandre De Barros on 21 Mar 2018

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

0

answers

2 votes
4 views

Polyspace stuck at 83 percent at startup

Asked by Helmuth on 16 Mar 2018

Latest activity Edited by Helmuth on 19 Mar 2018

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

2

answers

0 votes
7 views

Codeprover: all variables are unused

Asked by Stein Heselmans on 22 Feb 2018

Latest activity Answered by Stein Heselmans on 8 Mar 2018

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

HI All, We have a Mathworks Polyspace R2016A

Asked by Lokesh Venkatesh on 14 Feb 2018

Latest activity Edited by Alexandre De Barros on 16 Feb 2018

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

2

answers

0 votes
9 views

Misra-c 10.3 violation with enum boolean only with stub variables

Asked by Sandi Southard on 25 Jan 2018

Latest activity Commented on by Walter Roberson on 28 Jan 2018

Accepted Answer by Sandi Southard

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

What options should I select in Polyspace Bug Finder to ensure my code is being checked for the MISRA AC AGC standard?

Asked by MathWorks Support Team on 4 Dec 2017

Latest activity Answered by MathWorks Support Team on 11 Jan 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 Bug Finder Analysis

1

answer

0 votes
3 views

Why get in failed when i run MATLAB 2017a ? cannot find polyspace bug finder license ?

Asked by Selva Karna on 8 Jan 2018

Latest activity Commented on by Walter Roberson on 9 Jan 2018

Accepted Answer by Birdman

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

Why does Polyspace get stuck on the loading screen during startup?

Asked by MathWorks Support Team on 6 Jan 2018

Latest activity Answered by MathWorks Support Team on 6 Jan 2018

Accepted Answer by MathWorks Support Team

MATLAB Environment and Settings Startup and Shutdown

1

answer

0 votes
2 views

polyspace 2012b critical section

Asked by Lenin Nelson on 22 Nov 2017

Latest activity Answered by Alexandre De Barros on 22 Nov 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
1 view

Polyspace 'Verification'/'source code compliance' phase - why not parallel?

Asked by Martin Dowie on 31 Oct 2017

Latest activity Commented on by Martin Dowie on 6 Nov 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 Run Settings

1

answer

0 votes
11 views

Pplyspace complain about conversion overflow: Conversion from int 32 to unsigned int 32. However everything I have it defined as unsigned. Is it something in ~ operator?

Asked by Ahmad Hazime on 23 Oct 2017

Latest activity Edited by Steven Lord on 2 Nov 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

code to mode traceability

Asked by Qiong Lan on 6 Oct 2017

Latest activity Commented on by Abhi Sundararaman on 9 Oct 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
1 view

Download triaging data from metrics

Asked by Stein Heselmans on 19 Sep 2017

Latest activity Commented on by Stein Heselmans on 2 Oct 2017

Accepted Answer by David Ding

MATLAB Installation and Licensing Downloads

0

answers

0 votes
4 views

Workaround to specify interrupt service routines to analyse multitasking with Polyspace

Asked by Konrad Mayer on 19 Sep 2017

Latest activity Edited by Konrad Mayer on 19 Sep 2017

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

Is it possible to do a relative path for Polyspace on Linux?

Asked by Noah Cohen on 13 Sep 2017

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

2

answers

0 votes
3 views

How to specify Generic Target Processors with 64 bit pointer in Polyspace

Asked by Konrad Mayer on 12 Sep 2017

Latest activity Commented on by Alexandre De Barros on 13 Sep 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
1 view

How to configure 64 bit atomic access for a sparc processor for Polyspace Bug Finder analysis to get the right data race conditions

Asked by Konrad Mayer on 12 Sep 2017

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

3

answers

0 votes
6 views

SIL Testing and Polyspace

Asked by vins on 8 Feb 2016

Latest activity Answered by Jay Abraham on 10 Sep 2017

Simulink Modeling Test Model Components

2

answers

3 votes
140 views

difference between code prover & bug finder

Asked by Shaku kaa on 2 Dec 2016

Latest activity Edited by Jay Abraham on 8 Sep 2017

Code Verification Polyspace Bug Finder

1

answer

0 votes
4 views

'Entity with internal linkage error' when using PolySpace Bug Finder

Asked by MathWorks Support Team on 29 Aug 2017

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

In Eclipse, how can I use the result of polyspace-configure in my Polyspace project?

Asked by MathWorks Support Team on 9 Aug 2017

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

Results 51 - 100 of 149