Réponse apportée
pointer to incomplete class type error in polyspace.
Hello, I haven't been able to reproduce this error with the last version of Polyspace (R2016b). Here is the complete code ...
pointer to incomplete class type error in polyspace.
Hello, I haven't been able to reproduce this error with the last version of Polyspace (R2016b). Here is the complete code ...
presque 10 ans il y a | 0
| A accepté
Réponse apportée
Mismatch between polyspace error message and the code line
Hello, the line number is indeed strange but I also can see that the line 52835 displayed in Polyspace does not correspond to...
Mismatch between polyspace error message and the code line
Hello, the line number is indeed strange but I also can see that the line 52835 displayed in Polyspace does not correspond to...
presque 10 ans il y a | 0
Réponse apportée
[polyspace code prover] How to fix the link errors ?
Hello, Link errors with Code Prover will stop the verification process because they represent an inconsistency in the source ...
[polyspace code prover] How to fix the link errors ?
Hello, Link errors with Code Prover will stop the verification process because they represent an inconsistency in the source ...
presque 10 ans il y a | 0
| A accepté
Réponse apportée
Polyspace Gray result UNP error type, what is UNP?
Hi, UNP means UNreachable Procedure. In the recent version, this check is now called Function Not Called, or FNC. More in...
Polyspace Gray result UNP error type, what is UNP?
Hi, UNP means UNreachable Procedure. In the recent version, this check is now called Function Not Called, or FNC. More in...
presque 10 ans il y a | 0
Réponse apportée
How can I fix multi #if #elif error
Hello, Defining the macro SAM is enough to make the preprocessor process the *#elif SAM* directive. Actually defining SAM to...
How can I fix multi #if #elif error
Hello, Defining the macro SAM is enough to make the preprocessor process the *#elif SAM* directive. Actually defining SAM to...
presque 10 ans il y a | 0
Réponse apportée
[Polyspace] Classification of Defects by Impact
Hello, the notion of Impact for the Bug Finder defects actually appeared in the version R2015b. There was no such classificat...
[Polyspace] Classification of Defects by Impact
Hello, the notion of Impact for the Bug Finder defects actually appeared in the version R2015b. There was no such classificat...
presque 10 ans il y a | 0
| A accepté
Réponse apportée
Data Range Specification file - how to force Code Prover to use the right one?
Hello Jeff, from what I read, everything seems correct in terms of options. It is then strange that the program seems to igno...
Data Range Specification file - how to force Code Prover to use the right one?
Hello Jeff, from what I read, everything seems correct in terms of options. It is then strange that the program seems to igno...
presque 10 ans il y a | 0
| A accepté
Réponse apportée
When I am creating a project manually in Polyspace and I need to add custom include files, I select the folder containing include files and select option 'Add Include Folder'. In this case what all types of header files are included?
Hi, When you add a new include folder, you're just telling Polyspace to take a look at this folder when it looks for files in...
When I am creating a project manually in Polyspace and I need to add custom include files, I select the folder containing include files and select option 'Add Include Folder'. In this case what all types of header files are included?
Hi, When you add a new include folder, you're just telling Polyspace to take a look at this folder when it looks for files in...
presque 10 ans il y a | 0
Réponse apportée
Best HW server configuration for Polyspace static code analysis?
Hi, The following link: <http://www.mathworks.com/matlabcentral/answers/100105-how-can-i-optimize-my-hardware-and-system-set...
Best HW server configuration for Polyspace static code analysis?
Hi, The following link: <http://www.mathworks.com/matlabcentral/answers/100105-how-can-i-optimize-my-hardware-and-system-set...
presque 10 ans il y a | 0
Réponse apportée
Can anyone tell me how polyspace_main file is generated and works?
Hello, When there is no main, Polyspace considers that the provided code represents an incomplete application. Hence, by defa...
Can anyone tell me how polyspace_main file is generated and works?
Hello, When there is no main, Polyspace considers that the provided code represents an incomplete application. Hence, by defa...
presque 10 ans il y a | 1
| A accepté
Réponse apportée
Merging ps_comments.db
Hi Cristian, instead of merging two databases, I suggest you to use the built-in import function. To use it, open the resu...
Merging ps_comments.db
Hi Cristian, instead of merging two databases, I suggest you to use the built-in import function. To use it, open the resu...
presque 10 ans il y a | 1
| A accepté
Réponse apportée
How to Customize Polyspace code prover Report?
Hello, First, it is possible to customize an existing report using the Report Generator toolbox, as described in the document...
How to Customize Polyspace code prover Report?
Hello, First, it is possible to customize an existing report using the Report Generator toolbox, as described in the document...
presque 10 ans il y a | 0
Réponse apportée
Boolean conditions in DRS of POlyspace code prover
Hi, the values TRUE and FALSE do not exist in the C language. They are probably defined to integer values in your application...
Boolean conditions in DRS of POlyspace code prover
Hi, the values TRUE and FALSE do not exist in the C language. They are probably defined to integer values in your application...
presque 10 ans il y a | 0
| A accepté
Réponse apportée
XML reports generation available for future releases
Hello, The xml reports are indeed no longer supported. But, as Lorenz wrote it, starting from R2016b, it is possible to expor...
XML reports generation available for future releases
Hello, The xml reports are indeed no longer supported. But, as Lorenz wrote it, starting from R2016b, it is possible to expor...
presque 10 ans il y a | 0
Réponse apportée
polyspace report generator not properly running
Hello Javier, C-ALL is actually a subfolder of the results folder. And the command polyspace-report-generator should be laun...
polyspace report generator not properly running
Hello Javier, C-ALL is actually a subfolder of the results folder. And the command polyspace-report-generator should be laun...
presque 10 ans il y a | 0
A soumis
Launch Polyspace from MATLAB
A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB
environ 10 ans il y a | 4 téléchargements |
A soumis
ImportAOTResults
A tool made to import AOT campaign results into a Polyspace verification
environ 10 ans il y a | 373 téléchargements |
A soumis
EmailNotifier
A tool to receive an email notification at the end of a PolySpace verification
environ 10 ans il y a | 639 téléchargements |
A soumis
PolySpace For Editors
A tool to integrate PolySpace into your favorite editor
environ 10 ans il y a | 886 téléchargements |
Réponse apportée
What Polyspace files should I archive along with source code, etc.?
Hello, if the context is "to reconstruct the release from scratch" then the files required to launch a verification, source a...
What Polyspace files should I archive along with source code, etc.?
Hello, if the context is "to reconstruct the release from scratch" then the files required to launch a verification, source a...
environ 10 ans il y a | 0
Réponse apportée
What version of Polyspace contains Code Prover Rev. 1.6?
Hello, I guess that by "revision" you mean the revision number that can be found in the project file (.psprj or .cfg). Here ...
What version of Polyspace contains Code Prover Rev. 1.6?
Hello, I guess that by "revision" you mean the revision number that can be found in the project file (.psprj or .cfg). Here ...
environ 10 ans il y a | 0
| A accepté
Réponse apportée
polyspace compile error for a Keil project
Hi ! I don't see the complete log so I can't see the options that you used, especially things related to the compiler like th...
polyspace compile error for a Keil project
Hi ! I don't see the complete log so I can't see the options that you used, especially things related to the compiler like th...
plus de 10 ans il y a | 0
Réponse apportée
Is it available with Polyspace a rule that checks the number of local variables at software unit level ?
Hi Guiseppe, Polyspace products support the most popular code metrics, but not this one yet. I suggest that you contact the t...
Is it available with Polyspace a rule that checks the number of local variables at software unit level ?
Hi Guiseppe, Polyspace products support the most popular code metrics, but not this one yet. I suggest that you contact the t...
plus de 10 ans il y a | 1
| A accepté
Réponse apportée
Polyspace 2015a orange check IDP (Illegally dereferenced pointer)
Hi ! You can see this message for example when a memory buffer is allocated by malloc then used as an array but without check...
Polyspace 2015a orange check IDP (Illegally dereferenced pointer)
Hi ! You can see this message for example when a memory buffer is allocated by malloc then used as an array but without check...
plus de 10 ans il y a | 1
| A accepté
Réponse apportée
Use of Polyspace Bug Finder R2015b and Polyspace Code Prover R2015b in Matlab R2011B.
Hi ! Polyspace is integrated to Matlab since the version R2013b. Before this release, the Polyspace products were available o...
Use of Polyspace Bug Finder R2015b and Polyspace Code Prover R2015b in Matlab R2011B.
Hi ! Polyspace is integrated to Matlab since the version R2013b. Before this release, the Polyspace products were available o...
plus de 10 ans il y a | 0
Réponse apportée
Why doesn't Polyspace(R2012b) report all overflows?
Hi! There is no overflow on c because there is another overflow on the variable b just before that stops the execution of t_1...
Why doesn't Polyspace(R2012b) report all overflows?
Hi! There is no overflow on c because there is another overflow on the variable b just before that stops the execution of t_1...
plus de 10 ans il y a | 1
Réponse apportée
Does Polyspace Bug Finder does Cross Module Analysis
Hi ! If, by "Cross Modules Analysis", you mean "finding inconsistency between different definitions/declarations in different...
Does Polyspace Bug Finder does Cross Module Analysis
Hi ! If, by "Cross Modules Analysis", you mean "finding inconsistency between different definitions/declarations in different...
presque 11 ans il y a | 1
Réponse apportée
"Out of memory" error in Polyspace Bug finder
Hi ! I suggest you to have a look at this link in the documentation: <http://www.mathworks.com/help/bugfinder/ug/out-of-me...
"Out of memory" error in Polyspace Bug finder
Hi ! I suggest you to have a look at this link in the documentation: <http://www.mathworks.com/help/bugfinder/ug/out-of-me...
presque 11 ans il y a | 0
Réponse apportée
procedure multiply defined error in polyspace code prover
Hello Srinivasan, Can you confirm that the function is defined in a header file ? Functions that are _defined_ in a header...
procedure multiply defined error in polyspace code prover
Hello Srinivasan, Can you confirm that the function is defined in a header file ? Functions that are _defined_ in a header...
presque 11 ans il y a | 0
Réponse apportée
__packed in polyspace code prover
Hello, The easiest way for Polyspace to ignore this extra keyword is to define a macro like this: __packed= You add i...
__packed in polyspace code prover
Hello, The easiest way for Polyspace to ignore this extra keyword is to define a macro like this: __packed= You add i...
presque 11 ans il y a | 1
| A accepté