回答済み
Polyspace-configure on a microsoft visual studio project hangs or am I still missing ingredients.
Hi Jeremy, Sorry you landed on this topic with a deprecated option. This will be definitely fixed. The recommended way to use ...

6年弱前 | 0

回答済み
Whether result of Code Prover is depend on the power of the computer which run it?
Hi Hong, The results should not depend on the number of processors used. Parts of the analysis are indeed parallelized over mul...

6年弱前 | 0

回答済み
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...

6年弱前 | 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 ...

6年弱前 | 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 ...

6年弱前 | 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...

6年弱前 | 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...

6年弱前 | 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...

6年弱前 | 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...

6年弱前 | 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 ...

6年弱前 | 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...

6年弱前 | 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...

6年弱前 | 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.

6年弱前 | 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...

6年弱前 | 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...

6年弱前 | 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...

約6年前 | 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...

約6年前 | 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...

約6年前 | 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...

約6年前 | 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...

約6年前 | 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...

約6年前 | 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...

約6年前 | 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 ...

約6年前 | 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,...

約6年前 | 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...

6年以上前 | 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...

6年以上前 | 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...

6年以上前 | 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...

6年以上前 | 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...

6年以上前 | 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)....

6年以上前 | 0