Answered
Number of Illegally dereferenced pointer on version R2020b is decreased significantly?
Hi, I assume you are using the exact same Polyspace project (with exact same configuration) in both versions. Can you check som...

7 meses ago | 0

Answered
Global variables - Used non-shared variable
Hi, Used non-shared variables are somewhat like green checks in Code Prover. They are not warnings. Since Code Prover reports a...

7 meses ago | 0

| accepted

Answered
Is this a problem in Polyspace Bug-finder: Warning: Unable to create temp file:
You can safely ignore the warning. There is logic included to recover from those warning states, and unless you see any subseque...

7 meses ago | 0

Answered
polyspace metrics - Multiple user at a time
You should stop the Metrics server running on the slave. You can also check a few things: 1) Are you able to ping the build se...

7 meses ago | 0

| accepted

Answered
Polysapce code prover C justifications
To justify MISRA C:2012 results, the term after polyspace should be either MISRA-C3 or MISRA2012 . See Annotate Code and Hide K...

8 meses ago | 1

| accepted

Answered
Virtual Functions are not reachable while performing Module run in Polyspace 2019b
It is not clear what you mean by 'still it remains unreachable'. Do you mean that the body of the function is not analyzed at a...

8 meses ago | 1

Answered
Load .mat file error
You have to share the commands you are using for us to see what might be happening. If you are simply doing something like this...

8 meses ago | 0

Answered
Is there an API to retrieve metrics from polyspace access
Hi Olivier, You definitely have options besides dumping the full html page. Just to clarify, when you say "metrics", do you me...

8 meses ago | 0

| accepted

Answered
Stack check by Code Prover
It is possible to calculate all code metrics other than stack size in the earlier stages of a Code Prover analysis. You have to ...

8 meses ago | 0

| accepted

Answered
BugFinder unable to find any NTL?
Hi Oliver, Code Prover can find this and other much more sophisticated cases of non-terminating loops. Bug Finder uses the same...

9 meses ago | 0

| accepted

Answered
Local Variable is calculated differently in the two runs
Hi, There is usually a thread of logic behind the Code Prover calculation since Code Prover uses quite airtight mathematic. How...

9 meses ago | 1

| accepted

Answered
Why do I get this error when using polyspace-configure: ERROR: [from sniffer] : invalid handle
Hi Jeremy, The message indicates that an NtCreateFile event (file creation) was detected, but the file could not be accessed. I...

9 meses ago | 0

Answered
Polyspace MISRA-CPP 2008 Coding rule custom setting
Hi Won, The message means that those rules are not implemented in the Polyspace version that you are using. The coverage of sta...

9 meses ago | 0

Answered
polyspace-report-generator: an error occurred while parsing class rptgen.DAObject
Please contact MathWorks Technical Support for a more detailed analysis of the issue: https://www.mathworks.com/support/contact_...

9 meses ago | 0

Answered
Bug Finder analysis on Autogenerated Code
Are you using all the High-Level Code Generation Objectives listed on this page? Are you also using a model verification tool? ...

9 meses ago | 0

Answered
Programmatically adding polyspace annotations in Simulink Model
You can use the function pslinkfun to programmatically add annotations to a block in a model. See the pslinkfun documentation.

9 meses ago | 0

Answered
Illegally dereferenced pointer may be incorrect
The orange warning does not mean that the pointer is null. In fact, you can see in the message that the pointer is not null. (Th...

9 meses ago | 0

| accepted

Answered
What are badly-typed functions in polyspace code prover 2016b ?
Hi, The message indicates that the function pointer might point to a function whose prototype does not match the function point...

10 meses ago | 0

Answered
Local Variable was change range value but not assigned
Hi, One of the reasons could be that Code Prover is considering the case where the if branch, where u1t_InRnewEndPntIdx is assi...

10 meses ago | 1

| accepted

Answered
How to add a new module into my exist project
Hi, You can add the third module interactively in the Polyspace user interface and then generate scripts for command-line runs ...

10 meses ago | 0

Answered
I am tring to continue matlab script execution after polyspacecodeprover function showing error in matlab window. but matlab close script execution .
Hi, I am guessing when you mention failure of the polyspace function, you mean a failure because of compilation errors in the ...

10 meses ago | 0

| accepted

Answered
How to read Polyspace bugfinder report in matlab or get result in matlab workspace?
You can use a polyspace.BugFinderResults object to read a .psbf file. When creating the object, you have to provide a results fo...

10 meses ago | 0

Answered
polyspace code prover: cosmic compiler issue
Hi, It is not the #if per se, but the [0] of __TRGT__[0] that is causing the problem. Following the standard, Polyspace does no...

11 meses ago | 0

Answered
Polyspace code prover not able to analyse stack for whole project
Hi, Could you provide some more information? For instance, the following would be helpful: When you say 'project', do you mean...

11 meses ago | 0

| accepted

Answered
Polyspace_Code_Prover : Not able to do stack analysis for entire code of my project
Hi, Could you provide some more information? For instance, the following would be helpful: When you say 'project', do you mean...

11 meses ago | 0

Answered
In Polyspace Access R2020a, is it possible to autostart Access Cluster services on boot?
You can change the Docker restart policy so that the services restart automatically after a reboot. See more details in Configur...

11 meses ago | 0

| accepted

Answered
Polyspace can not import Renesas Project
Hi again, The Renesas RL78 compiler toolchain has been deprecated by Renesas. See here for instance: https://www.renesas.com/e...

11 meses ago | 0

| accepted

Answered
Polyspace can not import Renesas Project
Hi, The error message indicates that none of the executables detected during your build match with compilers known to Polyspace...

11 meses ago | 0

Answered
new .m file with Polyspace
You cannot use Polyspace alone to write .m files. You need a MATLAB installation. Once you install both MATLAB and Polyspace, y...

alrededor de 1 año ago | 0

Answered
Polyspace Command line : Add review information to results
If you are using the release R2020b, you can use the polyspace-results-export command to export the results to CSV or JSON forma...

alrededor de 1 año ago | 0

Load more