已回答
Polyspace R2014b installation issue
Hello Cristina! A R2014b license is compatible with older versions, so if you upgrade your license to R2014b, you will still ...

11 years 前 | 0

| 已接受

已回答
How can I use relative paths in a Polyspace project file?
Hi Martin! There is a possible workaround for your question: create a network drive under Windows or a link under Linux that ...

11 years 前 | 0

已回答
How can I generate a Microsoft(R) Excel(TM) file of the Variable Access table in the Result Manager of PolySpace Code Prover using PolySpace Code Prover (R2014a)?
Hi! The Variables Access view is automatically generated in the TSV (table separated values) format that you can easily impor...

11 years 前 | 0

已回答
How to fix this error "A segmentation fault occured in "edgcpfe.x86-mingw32.exe" "
Hi ! With this kind of problem, you should contact the support, and send them the log of the verification. Best regards, ...

11 years 前 | 0

已回答
Polyspace Bug Finder shut down in command line
Hello Daniel, Unfortunately, it is not possible in the current release: you have to exit Eclipse. Good news: in the next rel...

11 years 前 | 1

| 已接受

已回答
Polyspace web server can not be found:
Hi Neil! To answer precisely to your question, it could be interesting to know first what you did in terms of Metrics Server...

11 years 前 | 0

已回答
Why would polyspace report "memset is dead code"
Hello! For performance and precision reasons, Polyspace is creating inner versions of memset (and also other memory related f...

11 years 前 | 1

| 已接受

已回答
polyspace: color of underlined tokens in the source pane
Hi Tommy! Basically, dashed lines are used to indicate that tooltips are available. Tooltips on operators, assignments, etc.....

11 years 前 | 2

| 已接受

已回答
polyspace: best practice for stubbing functions that exit?
Hi Tommy! If a function exits the program, then by definition the call to this function will never return, and the program wi...

11 years 前 | 0

| 已接受

已回答
Getting MISRA 10.1 in Polyspace 2012a for Pointer to Structures.
Hi Karan! Polyspace refers here to the ISO C99 standard to define a pointer equivalent to an int, especially the paragraph 6....

11 years 前 | 1

已回答
Import Comments from PolySpace 2010b(V8.0) to PolySpace V8.5?
Hi Chocolat Warrior! Yes, it is possible to import previously commented checks. To do that, open the R2013a results with the...

11 years 前 | 1

| 已接受

已回答
I/O internal error
Hello Alan, First, I can suggest you to try your verification with the latest version, 14a. If the problem is still there, I...

11 years 前 | 1

已回答
What is the correct annotation syntax in Polyspace Bug Finder/Code Prover for multi-line comment annotations in source code?
The syntax is correct if there is no carriage return between "annotations>" and "These". If there is no carriage return, could ...

11 years 前 | 0

已回答
Having Issues with Polyspace Bug Finder
Hi ! The actions of the Run menu (I think that this is what you refer to when you write "Run drop down menu") are disabled in...

12 years 前 | 0

| 已接受

已回答
Polyspace 2012a - compatibility windows 7 and Java libraries missing
Hi ! For the first question, can you tell me where do you see the message "Error: Unable to find the Java libraries pve.jar a...

13 years 前 | 1

已回答
In PolySpace R2011b the 'Coding Rules' window is not filled
Hello Konrad, This problem is unknown so far. This is why I suggest you to contact the technical support. To do so, please ...

13 years 前 | 0

| 已接受

已回答
Buffer size allocation
Hi! There is indeed a problem in the tooltip with the size in bytes of pointers when the size of char is 16 bits. In the e...

13 years 前 | 1

已回答
[Polyspace 2011b]: Out of memory during level1 check
Hi Mohamed ! More than 100k lines of code is quite big indeed, and is the reason of the "out of memory" problem. When fa...

13 years 前 | 1