Beantwortet
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 ...
fast 10 Jahre vor | 0
| akzeptiert
Beantwortet
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...
fast 10 Jahre vor | 0
Beantwortet
[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 ...
fast 10 Jahre vor | 0
| akzeptiert
Beantwortet
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...
fast 10 Jahre vor | 0
Beantwortet
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...
etwa 10 Jahre vor | 0
Beantwortet
[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...
etwa 10 Jahre vor | 0
| akzeptiert
Beantwortet
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...
etwa 10 Jahre vor | 0
| akzeptiert
Beantwortet
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...
etwa 10 Jahre vor | 0
Beantwortet
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...
etwa 10 Jahre vor | 0
Beantwortet
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...
etwa 10 Jahre vor | 1
| akzeptiert
Beantwortet
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...
etwa 10 Jahre vor | 1
| akzeptiert
Beantwortet
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...
etwa 10 Jahre vor | 0
Beantwortet
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...
etwa 10 Jahre vor | 0
| akzeptiert
Beantwortet
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...
etwa 10 Jahre vor | 0
Beantwortet
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...
etwa 10 Jahre vor | 0
Gesendet
Launch Polyspace from MATLAB
A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB
etwa 10 Jahre vor | 4 Downloads |
Gesendet
ImportAOTResults
A tool made to import AOT campaign results into a Polyspace verification
etwa 10 Jahre vor | 390 Downloads |
Gesendet
EmailNotifier
A tool to receive an email notification at the end of a PolySpace verification
etwa 10 Jahre vor | 658 Downloads |
Gesendet
PolySpace For Editors
A tool to integrate PolySpace into your favorite editor
etwa 10 Jahre vor | 905 Downloads |
Beantwortet
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...
etwa 10 Jahre vor | 0
Beantwortet
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 ...
etwa 10 Jahre vor | 0
| akzeptiert
Beantwortet
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...
mehr als 10 Jahre vor | 0
Beantwortet
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...
fast 11 Jahre vor | 1
| akzeptiert
Beantwortet
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...
fast 11 Jahre vor | 1
| akzeptiert
Beantwortet
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...
fast 11 Jahre vor | 0
Beantwortet
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...
fast 11 Jahre vor | 1
Beantwortet
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...
fast 11 Jahre vor | 1
Beantwortet
"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...
etwa 11 Jahre vor | 0
Beantwortet
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...
etwa 11 Jahre vor | 0
Beantwortet
__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...
etwa 11 Jahre vor | 1
| akzeptiert