已回答
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...

9 years 前 | 0

已回答
[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...

9 years 前 | 0

| 已接受

已回答
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...

9 years 前 | 0

| 已接受

已回答
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...

9 years 前 | 0

已回答
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...

9 years 前 | 0

已回答
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...

9 years 前 | 1

| 已接受

已回答
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...

9 years 前 | 1

| 已接受

已回答
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...

9 years 前 | 0

已回答
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...

9 years 前 | 0

| 已接受

已回答
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...

9 years 前 | 0

已回答
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...

9 years 前 | 0

已回答
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...

9 years 前 | 0

已回答
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 ...

9 years 前 | 0

| 已接受

已回答
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...

9 years 前 | 0

已回答
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...

9 years 前 | 1

| 已接受

已回答
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...

9 years 前 | 1

| 已接受

已回答
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...

9 years 前 | 0

已回答
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...

10 years 前 | 1

已回答
Does Polyspace Bug Finder does Cross Module Analysis
Hi ! If, by "Cross Modules Analysis", you mean "finding inconsistency between different definitions/declarations in different...

10 years 前 | 1

已回答
"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...

10 years 前 | 0

已回答
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...

10 years 前 | 0

已回答
__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...

10 years 前 | 1

| 已接受

已回答
How to ignore link errors during polyspace analysis of C Project.......??
Hi, There is indeed an option, available in the C++ product, to ignore _some_ link errors. This option is -no-extern-C. Th...

10 years 前 | 1

| 已接受

已回答
Polyspace error when trying to obtain complexity metrics with auto generated code
Hi Bibek, This is something that can occur in R2015a. Could you try with the latest version, R2015b? Best regards, Alex...

10 years 前 | 0

已回答
How to set Compiler option in Polyspace code prover?
Hello, Since this is an extra option, in the configuration pane, you have to go to 'Advanced Settings' and enter the option ...

10 years 前 | 1

| 已接受

已回答
Repetitive unreal orange checks
Hello, When dealing with orange checks, a good rule of thumb is to find the source of these checks so you can "work on it". ...

10 years 前 | 1

| 已接受

已回答
MISRA C 2012: 13.2 rule warning on Polyspace Code Prover R2014b
Hello Cristina, The MISRA C 2012 document is correct. The version R2015b of the Polyspace products will not give you this wa...

10 years 前 | 0

已回答
Is it possible to customize targets with 24-bit datatypes in Polyspace?
Hello ! You can choose the target C18, it's a target where you can choose between a 24-bit or a 32-bit pointer. Best reg...

10 years 前 | 0

已回答
Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?
Hi, Since you have justified the checks, I suggest you to activate filters to hide them. If you have used the Classification ...

10 years 前 | 2

| 已接受

已回答
What causes Polyspace (R2013b) to display the message: pst_file_glob2.c, line 1733: error: floating-point value does not fit in required floating-point type
Hello, the value that we see in the given line will fit in a float, so I'm surprised by this error. I've tried the followi...

10 years 前 | 0

| 已接受