Answered
Why do I get an unrecognized token error when I use the _argt$ command in PolySpace Client for C/C++ 7.2 (R2010a)?
The compiler in IAR Embedded Workbench is directly supported in Polyspace since R2018a. You will not have these errors from that...

2 years ago | 1

Answered
Issue with Polyspace Code Prover Autosar software component Analysis, How can I resolve it?
Please contact MathWorks Technical Support for a solution. The generated Rte_Type.h file should not be empty. If your generated ...

2 years ago | 0

Answered
Problems trying to integrate Polyspace v2021b with Matlab v2021b
The error indicates that you have not opened MATLAB with administrator privileges. To open MATLAB with administrator privileges,...

2 years ago | 0

Answered
Execution time of polyspace-configure when using a compilation database file
Your compiler is actually invoked even when you use the JSON compilation database. But it is invoked to compile simple source fi...

2 years ago | 0

Answered
How to add a list of file .txt into polyspace-configure?
You can enter -include-sources several times to include multiple files, or use pattern matching if the file names follow a speci...

2 years ago | 0

Answered
gcc (GCC) 4.4.7 20120313 (Red Hat 4.4.7-4)
Try -compiler gnu4.6 and provide paths to the GCC headers with the option -I (or add them to your project in the Polyspace user ...

2 years ago | 0

Answered
#error directive: "Header is not supported in the C89 language mode"
When a compiler encounters a #error directive, it stops and prints the associated message. Polyspace behaves exactly like a comp...

2 years ago | 0

Answered
How to generate option file using ST Visual Developer IDE for bug finder analysis
Please contact MathWorks Technical Support for help with setting up your project. I can give you a general idea of the workflow...

2 years ago | 0

Answered
User defined rules check with Coding Standard Violations?
Can you give an example of the kind of rules you are thinking of? There is a set of custom rules for naming conventions, but eve...

2 years ago | 0

Answered
How to annotating Code Block?
MISRA Rule 1.1 flags the number of macros in a translation unit if this number exceeds the limit specified in the Standard. The ...

2 years ago | 0

Answered
Install Polyspace as You Code Extension in Visual Studio Code - No plugin/visual_studio_code folder!
You need a Polyspace as You Code installation to find the visual_studio_code subfolder in the plugin folder. If your polyspacero...

2 years ago | 0

Answered
Question on MISRA C:2012- Rule 10.3 in polyspace code prover 2019a
The first violation is a genuine violation while the second violation is a Polyspace bug that has been fixed in R2019b. Since R2...

2 years ago | 1

| accepted

Answered
while opening help documents in R2021a its give me crash report error & suddenly close the Matlab application. Can help me how to remove this error?
You seem to be opening MATLAB from a Polyspace installation (for instance, something like C:\Program Files\Polyspace\R2021a\bin)...

2 years ago | 0

Answered
Control generated C/C++ code using Mathworks tooling
The Polyspace static analysis tools are meant exactly for the kind of issues you are talking about, but even in Embedded Coder, ...

2 years ago | 0

| accepted

Answered
Polyspace codeprover doesnt give a warning for MISRA violation(MISRA C:2012, 19.2 - The union keyword should not be used)
There could be many reasons related to the coding rules checking setup, but one possible reason is that your headers are in a co...

2 years ago | 0

| accepted

Answered
Analyzing C source code with multiple "main" functions not named "main()"
Just to understand better, you seem to be getting a violation of MISRA C:2012 rule 8.6 : An identifier with external linkage sha...

2 years ago | 0

| accepted

Answered
Why Polyspace Code prover do not permit to check some MISRA rule ?
Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug F...

2 years ago | 0

| accepted

Answered
How to filter multiple lines from Polyspace result ?
Use the is in custom filter: Select the custom filter on the Line column. Select is in for Condition. In Value(s), select the ...

2 years ago | 0

| accepted

Answered
[polyspace] How do i generate report?
Please contact MathWorks Technical Support: https://www.mathworks.com/support/contact_us.html .

2 years ago | 0

| accepted

Answered
Polyspace Bug Finder ignores #if when checking macro values.
There could one of two things going on: MC680X0 and I80X86 are not defined in the code provided to Polyspace. You are probably ...

2 years ago | 1

| accepted

Answered
Integrating Polyspace R2021b with Matlab R2021b
Did you try to do the installation by explicitly giving the path to the R2021b Polyspace installation when running polyspacesetu...

2 years ago | 0

| accepted

Answered
How to integrate Polyspace with Visual studio code?
You can install a Polyspace as You Code extension in the Visual Studio Code IDE and run Polyspace as you save in the IDE (or exp...

2 years ago | 0

Answered
Polyspace in Jenkins. How to reduce the size of the generated options file?
You can add the option -merge-common-options to the polyspace-configure line. This will take all the -options-for-sources argume...

3 years ago | 0

| accepted

Answered
Is it possible to use Polyspace to run Static Analysis using the Keil C51 Compiler?
The keyword xdata is not required for the Polyspace analysis and can be removed during preprocessing. Simply enter xdata= for th...

3 years ago | 1

| accepted

Answered
Facing issue with Polyspace Bug Finder report generation
The report generated might be very large and you might have encountered the issue documented in Fix Insufficient Memory Errors D...

3 years ago | 0

| accepted

Answered
Polyspace Code Prover doesn't create a report after a remote execution via command line
Thanks for the question! If you use the remote analysis options in the Polyspace user interface, the results are automatically...

3 years ago | 0

| accepted

Answered
Error when login to Polyspace Access via web server
Please contact MathWorks Technical Support for further assistance with this issue: https://www.mathworks.com/support/contact_us....

3 years ago | 0

| accepted

Answered
There are missing Coding Rules 8.14, 9.4, 9.5 like this many, so how to enable all the Rules?
To enable all rules, use the value all for the option -misra3. In the Polyspace user interface, you have to select this value fr...

3 years ago | 0

| accepted

Answered
why the orange warning for next line is not happened when array use just one index?
Hi, Following an orange check, the analysis eliminates execution paths that lead to an error. This is intended to save you from...

3 years ago | 0

| accepted

Answered
Code Power judge color warning that is not consistent
Hi, Are you sure u2t_index_x has the exact same range of values on line 453 in one version and line 929 in the other version? I...

3 years ago | 0