Answered
Import Review Information from Previous Polyspace Analysis have a problem.
Hi Hong, Your concern is valid. The review information is indeed imported if the content of a line does not change and shows t...

4 years ago | 1

| accepted

Answered
Polyspace.exe R2020a missing after installation
Hi, It looks like in your latest installation, you did not install 'Polyspace' but you expect Polyspace to work. If so, is it ...

4 years ago | 0

Answered
Generate PolySpace report with code
Hi Kei, Reports are meant for archiving and certification purposes only. To review an actual result, open the results in the ...

4 years ago | 0

| accepted

Answered
Polyspace 2018b boolean related 10.3 violation, is it a false positive ?
Hi, This is a bug that has been fixed in R2019b. You can upgrade to the later release or if you continue to use R2018b, justify...

4 years ago | 0

| accepted

Answered
Issue with verifying AUTOSAR software components by using Polyspace Code Prover, variable definitions are not considering from Rte_Type.h header file even if it included in source file.
Hi Venkata, I can actually give a partial answer to your question. There is a common user perception that if a header file is...

4 years ago | 0

Answered
Polyspace (either bug finder or code prover) is capable of detecting overflow on iteration variable?
Hi Victor, Both Bug Finder and Code Prover can detect this issue. If you run Bug Finder, you will see a result Unsigned intege...

4 years ago | 0

| accepted

Answered
Recovering data after abnormal termination
Hi Hong, A Code Prover analysis makes several passes on your code. If the analysis stops after pass1 has begun, you can restart...

4 years ago | 0

| accepted

Answered
How do I download Polyspace product directly from Linux desktop
Hi, You can install the Polyspace desktop products (Polyspace Bug Finder, Polyspace Code Prover) or Polyspace Server products ...

4 years ago | 0

Answered
How can I get the metrics of newly added defects at command line using any of polyspace tools?
Hi, On the Polyspace Metrics interface, there is a New Findings Only check box. You can specify two versions to compare, and us...

4 years ago | 0

| accepted

Answered
Can Polyspace prove C++17?
R2020a does not support C++17 officially but it is planned to be supported very soon. For unofficial support, please contact Tec...

4 years ago | 0

| accepted

Answered
Ist it possible to switch to other findings in Source Code panel of Polyspace Access?
Hi Birgit, You can right-click a token in the source code and from the Select Results menu, see all findings on the token.

4 years ago | 0

| accepted

Answered
Import comments written in Polyspace Access
Hi Birgit, If you upload a result to the same project in Polyspace Access as a previous result, all review information from the...

4 years ago | 0

| accepted

Answered
Code Prover show a new Orange warning but I can't find any relationship between changed source code and this new warning.
Hi, It is difficult to answer without the complete project (or at least the changes made to the project). It is possible that t...

4 years ago | 0

| accepted

Answered
Illegally dereferenced pointer in __polyspace_main.c
Hi Xian, Are you using an older release of Polyspace? Generated files used to show up sporadically in very older releases (inst...

4 years ago | 0

| accepted

Answered
False Negative when using Polyspace Code Prover
Hi Hongjun, For the two specific examples you give, you have to turn on the checks Function not called and Function not reachab...

4 years ago | 0

| accepted

Answered
In polyspace 2019B for the targetlink generated code how to enable the shared variable sharing option?
Hi Geetha, To find shared variables, you need to have a main function, even if empty. See the requirements for multitasking ver...

4 years ago | 0

Answered
How to open a .psprj file directly from the command-line?
Hi Peter, The command should have worked. But can you try the following: polyspace.exe -cfg <myfile>.psprj An even better alt...

4 years ago | 0

| accepted

Answered
Why Code Prover cannot detect Out of bound array index?
Hi Hong, Please contact MathWorks Technical Support with a reproduction so that they can give you a specific diagnosis of the i...

4 years ago | 0

| accepted

Answered
Polyspace does not generates Runtime report on Compilation failure
Hi Gopesh, I understand that by 'compiled code', you mean 'code that does not show compilation errors'. If a compilation error...

4 years ago | 0

Answered
Import comments to Polyspace Code Prover
Hi Hong, I would like to know the full workflow to understand why you cannot assign the comments in the Polyspace user interfac...

4 years ago | 0

| accepted

Answered
Polyspace Code Prover not able to find windows.h as header file. getting compilation errors because of windows dependencies.
Hi Venkata, Specifying the compiler name is not sufficient for Polyspace to locate the include folders. The folder paths vary ...

4 years ago | 1

| accepted

Answered
How can I Update a Polyspace only Installation?
Hi Oliver, To update the standalone Polyspace installation, the steps are the same as MATLAB and use the same update installer,...

4 years ago | 0

| accepted

Answered
How to use environnement variables inside Polyspace project configuration ?
Each time you open a project in the Polyspace user interface, the path to source files in the project is recomputed with respect...

4 years ago | 0

| accepted

Answered
why cann't produce reports with matlab2017a polyspace
Hi, Did you try to generate a report using the steps here: https://www.mathworks.com/help/codeprover/ug/generate-polyspace-repo...

4 years ago | 0

Answered
expected a declaration error using polyspace
Hi Satya, It looks like the error appears on a macro. Is the macro _CONFIG (or a macro used in it) not defined previously? If i...

4 years ago | 0

Answered
polyspace bug finder with visual compiler
Hi Aditi, Are you specifying the compiler name visual15.x manually using the option -compiler? That would require you to provid...

4 years ago | 0

Answered
Code Prover is giving CannotCreateFolder error
The error message hints that on the remote computer, you are trying to write to a location and creating a folder in that locatio...

4 years ago | 1

| accepted

Answered
Polyspace Bug Finder Report no line number show
The Bug Finder reports are meant for archiving purposes only (to maintain snapshots of the code quality at specific milestones)....

4 years ago | 0

Answered
Can I exclude utility functions generated by rtw coder 2015b from static analysis?
If your Polyspace version is later than R2016a, you can use this option to exclude specific files or folders: https://www.mathw...

4 years ago | 0

Answered
Custom rule to be added to polyspace
The Polyspace custom rules use regular expressions to detect patterns, so you can go as far as regular expressions can take you....

4 years ago | 0