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