已回答
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 前 | 1

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0

| 已接受

已回答
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 前 | 1

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0

已回答
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 前 | 0

已回答
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...

5 years 前 | 1

| 已接受

已回答
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)....

5 years 前 | 0

已回答
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...

5 years 前 | 0

已回答
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....

5 years 前 | 0