Réponse apportée
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 ...

presque 6 ans il y a | 0

Réponse apportée
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...

presque 6 ans il y a | 0

Réponse apportée
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...

presque 6 ans il y a | 1

| A accepté

Réponse apportée
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 ...

presque 6 ans il y a | 0

Réponse apportée
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 ...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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...

presque 6 ans il y a | 0

Réponse apportée
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...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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 ...

presque 6 ans il y a | 0

Réponse apportée
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...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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.

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
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...

environ 6 ans il y a | 0

| A accepté

Réponse apportée
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...

environ 6 ans il y a | 0

| A accepté

Réponse apportée
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...

environ 6 ans il y a | 0

Réponse apportée
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...

environ 6 ans il y a | 0

| A accepté

Réponse apportée
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...

environ 6 ans il y a | 0

| A accepté

Réponse apportée
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...

environ 6 ans il y a | 0

Réponse apportée
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...

environ 6 ans il y a | 0

| A accepté

Réponse apportée
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 ...

environ 6 ans il y a | 1

| A accepté

Réponse apportée
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,...

environ 6 ans il y a | 0

| A accepté

Réponse apportée
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...

plus de 6 ans il y a | 0

| A accepté

Réponse apportée
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...

plus de 6 ans il y a | 0

Réponse apportée
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...

plus de 6 ans il y a | 0

Réponse apportée
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...

plus de 6 ans il y a | 0

Réponse apportée
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...

plus de 6 ans il y a | 1

| A accepté

Réponse apportée
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)....

plus de 6 ans il y a | 0