Search results: tag:"misra" - MATLAB Answers

54 questions found in Answers

Results 1 - 50 of 54

1

answer

0 votes
7 views

Difference between Polyspace R2022b and R2025a for MISRA C 2012 , 2023 rules and directive.

Asked by Ashish on 24 Jul 2025

Latest activity Answered by Joseph Sparacino on 5 Aug 2025

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

Understanding MISRA AC SLSF 005 - Allowable Simulink blocks

Asked by Matthew Gordon on 24 Apr 2025

Latest activity Commented on by Matthew Gordon on 2 May 2025

Accepted Answer by Darshak

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

1

answer

0 votes
3 views

Polyspace Checks MISRA-C:2012 Directives which are Non-existent in the Document

Asked by Ismet on 27 Feb 2025

Latest activity Commented on by Ismet on 6 Mar 2025

Accepted Answer by Christian Bard

Code Verification Polyspace Code Prover

1

answer

0 votes
7 views

Add Polyspace Suppression for MISRA Directive

Asked by Ismet on 13 Feb 2025

Latest activity Commented on by Ismet on 21 Feb 2025

Accepted Answer by Christian Bard

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2023 Directives and Rules

1

answer

0 votes
5 views

Can HDL code generated by Simulink HDL Coder be used in applications certified to the DO-254 standard?

Asked by MathWorks Support Team on 20 Nov 2012

Latest activity Edited by MathWorks Support Team on 4 Dec 2024

Accepted Answer by MathWorks Support Team

Code Generation DO Qualification Kit (for DO-178)

1

answer

0 votes
4 views

Has C code generated by Real-Time Workshop been deployed in applications certified to the DO-178B standard?

Asked by MathWorks Support Team on 17 Mar 2011

Latest activity Edited by MathWorks Support Team on 4 Dec 2024

Accepted Answer by MathWorks Support Team

Code Generation DO Qualification Kit (for DO-178)

1

answer

0 votes
8 views

Static analysis of .m files

Asked by Ashley Thorpe on 15 Nov 2019

Latest activity Answered by Jatin on 19 Sep 2024

MATLAB Software Development Tools Debugging and Analysis

1

answer

0 votes
2 views

Running Code Generation Advisor's checks crashes Simulink models (Matlab r2021b)

Asked by Marco Montanaro on 14 Apr 2022

Latest activity Answered by Pramil on 17 Sep 2024

Code Generation Simulink Coder

1

answer

1 vote
13 views

How to deal with MISRA SLSF 036 rule

Asked by Daniele on 29 Jun 2018

Latest activity Edited by Satwik on 23 Aug 2024

Simulink Modeling Design Model Behavior Simulink Functions

1

answer

0 votes
3 views

Is MISRA-C and MISRA AC ACG compliance information available for Embedded Coder?

Asked by MathWorks Support Team on 26 Apr 2012

Latest activity Edited by MathWorks Support Team on 17 Apr 2024

Accepted Answer by MathWorks Support Team

Code Generation Embedded Coder Deployment, Integration, and Supported Hardware Embedded Coder Supported Hardware Texas Instruments C2000 Processors

1

answer

0 votes
1 view

Has C code generated by Real-Time Workshop been deployed in applications certified to the IEC 61508 standards?

Asked by MathWorks Support Team on 29 Mar 2013

Latest activity Edited by MathWorks Support Team on 29 Mar 2024

Accepted Answer by MathWorks Support Team

Code Generation Embedded Coder Deployment, Integration, and Supported Hardware

0

answers

0 votes
4 views

Using the Modulo Operator with the Embedded Coder to generate MISRA compliant C

Asked by Jamie Hutchison on 5 Mar 2024

Latest activity Commented on by Mike Hosea on 23 Mar 2024

Simulink Modeling Modeling Guidelines MAB Modeling Guidelines Naming Conventions

1

answer

0 votes
6 views

MISRA C:2012 Rule 10.3 clarification

Asked by Alessandro Samori on 8 Mar 2022

Latest activity Answered by Matt Rhodes on 19 Mar 2024

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Coding Standards & Code Metrics

1

answer

0 votes
6 views

Polyspace Bug Finder : MISRA 2012: D 4.14 Rule Violation : Dereferenced pointer is from an unsecure source. Pointer may be NULL or may point to unknown memory.

Asked by Ankita on 31 Jan 2024

Latest activity Answered by Kausthub on 16 Mar 2024

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

1

answer

0 votes
5 views

How do I get rid of MISRA 6.3 violations during static code analysis of code generated by Embedded Coder in MATLAB R2016b?

Asked by MathWorks Support Team on 4 Feb 2019

Latest activity Edited by MathWorks Support Team on 29 Feb 2024

Accepted Answer by MathWorks Support Team

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

1

answer

0 votes
3 views

MISRA warnings when building code generated for MISRA Compliance

Asked by John Fiaschetti on 3 Dec 2021

Latest activity Commented on by John Fiaschetti on 19 Feb 2024

Accepted Answer by Venkat Siddarth Reddy

Code Generation Embedded Coder Deployment, Integration, and Supported Hardware

1

answer

0 votes
5 views

Why is MISRA Rule A8-4-7 being raised as a violation in Polyspace Bug Finder R2023b?

Asked by MathWorks Support Team on 13 Oct 2023

Latest activity Answered by MathWorks Support Team on 18 Oct 2023

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

1

answer

0 votes
5 views

Why is there a violation on MISRA-C:2012 Rule 8.7 with Polyspace Bug Finder R2021a?

Asked by MathWorks Support Team on 5 Oct 2023

Latest activity Answered by MathWorks Support Team on 12 Oct 2023

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2023 Directives and Rules

1

answer

0 votes
8 views

How to eliminate MISRA 11.3 warning with 2D Array Argument?

Asked by Moses Fridman on 22 Sep 2023

Latest activity Commented on by Moses Fridman on 6 Oct 2023

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

1

answer

2 votes
3 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 Command-Line Only Options

1

answer

0 votes
9 views

how to resolve MISRA 10.3 violation?

Asked by snehal pawar on 3 Sep 2019

Latest activity Answered by Anavi Somani on 10 Jul 2023

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

1

answer

0 votes
1 view

What rules are covered in PolyRed, PolyGrey & Polyorange each of the following? example SEI CERT, MISRA 2008 etc

Asked by Jinesh on 3 Jul 2023

Latest activity Answered by Angelo Yeo on 4 Jul 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
3 views

Why does "Check for equality and inequality operations on floating-point values" warning in misra c-2012 show up even though when I compare something with enum value?

Asked by MIN HOON on 2 May 2023

Latest activity Commented on by Santosh Fatale on 16 May 2023

Code Generation Simulink Coder

1

answer

0 votes
1 view

I can't run the "polyspace-bugfinder-nodesktop.exe" via a user-defined option file

Asked by wu jie on 12 Jan 2023

Latest activity Commented on by Anirban on 18 Jan 2023

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

MISRA C2012 Amendment 1, Addentum 3

Asked by Horst Dreßel on 8 Nov 2022

Latest activity Edited by Anirban on 15 Nov 2022

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

1

answer

0 votes
2 views

Why am I experiencing a conflict in suggestions between the Code Generation Advisor and the Model Advisor

Asked by MathWorks Support Team on 12 Jan 2019

Latest activity Edited by MathWorks Support Team on 13 Oct 2022

Accepted Answer by MathWorks Support Team

Code Generation Simulink Coder

1

answer

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

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

2

answers

0 votes
5 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 Code Prover Get Started with Polyspace Code Prover

1

answer

0 votes
2 views

Unknown error. Metrics Dashboard

Asked by Anna Fedorova on 8 Feb 2022

Latest activity Answered by Daniel Lindner on 11 Mar 2022

Simulink Modeling Modeling Guidelines MAB Modeling Guidelines

1

answer

0 votes
1 view

How to force use <stdbool.h> in embedded coder? - MISRA violation

Asked by Giuseppe Narracci on 8 Feb 2022

Latest activity Answered by Benjamin Thompson on 8 Feb 2022

Code Generation Embedded Coder Deployment, Integration, and Supported Hardware

1

answer

0 votes
4 views

Question on MISRA C:2012- Rule 10.3 in polyspace code prover 2019a

Asked by Nideesh Madhu on 27 Jan 2022

Latest activity Edited by Anirban on 27 Jan 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

Polyspace codeprover doesnt give a warning for MISRA violation(MISRA C:2012, 19.2 - The union keyword should not be used)

Asked by Nideesh Madhu on 24 Jan 2022

Latest activity Edited by Anirban on 26 Jan 2022

Accepted Answer by Anirban

Code Verification Polyspace Code Prover Get Started with Polyspace Code Prover

1

answer

0 votes
6 views

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

Asked by Nideesh Madhu on 12 Jan 2022

Latest activity Answered by Anirban on 12 Jan 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
1 view

MISRA Rules 5.1/5.2 with Polyspace Bug Finder 2017a

Asked by Pascal Carré on 1 Jul 2019

Latest activity Answered by Ashfaqul Siraji on 6 Aug 2021

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

1

answer

0 votes
5 views

How do I check MISRA AC AGC rules with Polyspace?

Asked by MathWorks Support Team on 16 Nov 2011

Accepted Answer by MathWorks Support Team

Code Verification Polyspace Access Get Started with Polyspace Access

1

answer

0 votes
1 view

Is there a bug regarding MISRA Rule 2.2 (Dead Code)?

Asked by Christian Wedding on 1 Jul 2021

Latest activity Commented on by Christian Wedding on 5 Aug 2021

Accepted Answer by Anirban

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2023 Directives and Rules

0

answers

0 votes
5 views

Mismatched essential type categories for binary operator

Asked by Namrata Biranje on 9 Mar 2020

Code Generation AUTOSAR Blockset

0

answers

0 votes
1 view

MATLAB local variables in the code may not have been initialized

Asked by Namrata Biranje on 9 Mar 2020

Code Generation AUTOSAR Blockset

1

answer

0 votes
0 views

expected a declaration error using polyspace

Asked by Satya Kamasani on 8 Jan 2020

Latest activity Edited by Anirban on 21 Jan 2020

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

Possibility for creating and using own coding rules in Polyspace ?

Asked by Burkay Dede on 11 Oct 2019

Latest activity Commented on by Anirban on 1 Nov 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
2 views

How to trace root cause of 15-5-3 - The terminate() function shall not be called implicitly

Asked by Steffen Dalgard on 23 Aug 2019

Latest activity Commented on by Jalaj Gambhir on 29 Aug 2019

Code Verification Polyspace Bug Finder Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

0

answers

0 votes
2 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 Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

1

answer

1 vote
0 views

Where can I find a detailed list of the differences between Bug Finder and Code Prover?

Asked by Andreas Memmel on 18 Apr 2018

Latest activity Answered by Anirban on 29 Jun 2018

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
2 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 Review Analysis Results Complete List of Polyspace Bug Finder Results Coding Standards MISRA C:2012 Directives and Rules

2

answers

0 votes
1 view

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 Run Settings

1

answer

0 votes
1 view

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 Run Settings

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 Command-Line Only Options

1

answer

0 votes
2 views

Generate MISRA compliant c code from m-files?

Asked by Henrik Jagebäck on 21 Feb 2017

Latest activity Answered by Hari Desanur on 23 Feb 2017

Code Generation MATLAB Coder

0

answers

0 votes
1 view

How can I include the "Line content of a code" in a MISRA report geerated using Polyspace?

Asked by Manu George on 9 Feb 2017

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

Results 1 - 50 of 54

Filter By

Status Clear

Source Clear

Category Clear

1

1

1

1

1

1

1

1

1

1

1

0

1

1

1

1

1

1

1

1

1

1

0

1

1

1

1

1

2

1

1

1

1

1

1

1

1

0

0

1

0

1

0

1

0

2

1

0

1

0