Risposto
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 ...
quasi 8 anni fa | 0
| accettato
Risposto
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...
quasi 8 anni fa | 0
Risposto
[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 ...
quasi 8 anni fa | 0
| accettato
Risposto
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...
quasi 8 anni fa | 0
Risposto
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...
quasi 8 anni fa | 0
Risposto
[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...
quasi 8 anni fa | 0
| accettato
Risposto
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...
quasi 8 anni fa | 0
| accettato
Risposto
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...
quasi 8 anni fa | 0
Risposto
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...
quasi 8 anni fa | 0
Risposto
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...
quasi 8 anni fa | 1
| accettato
Risposto
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...
quasi 8 anni fa | 1
| accettato
Risposto
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...
quasi 8 anni fa | 0
Risposto
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...
quasi 8 anni fa | 0
| accettato
Risposto
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...
quasi 8 anni fa | 0
Risposto
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...
quasi 8 anni fa | 0
Inviato
Launch Polyspace from MATLAB
A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB
circa 8 anni fa | 4 download |
Inviato
ImportAOTResults
A tool made to import AOT campaign results into a Polyspace verification
circa 8 anni fa | 1 download |
Inviato
EmailNotifier
A tool to receive an email notification at the end of a PolySpace verification
circa 8 anni fa | 1 download |
Inviato
PolySpace For Editors
A tool to integrate PolySpace into your favorite editor
circa 8 anni fa | 1 download |
Risposto
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...
circa 8 anni fa | 0
Risposto
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 ...
circa 8 anni fa | 0
| accettato
Risposto
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...
oltre 8 anni fa | 0
Risposto
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...
oltre 8 anni fa | 1
| accettato
Risposto
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...
oltre 8 anni fa | 1
| accettato
Risposto
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...
oltre 8 anni fa | 0
Risposto
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...
oltre 8 anni fa | 1
Risposto
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...
quasi 9 anni fa | 1
Risposto
"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...
quasi 9 anni fa | 0
Risposto
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...
quasi 9 anni fa | 0
Risposto
__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...
quasi 9 anni fa | 1
| accettato