Risposto
Why Polyspace Metrics shows __pstf#number modules on Polyspace Code Prover results?
Hi Lorenz, It looks like Polyspace is showing internal files on Polyspace web Metrics. You would contact Technical Support for...

circa 9 anni fa | 0

Risposto
identifier "XYZ" is undefined
Hi Sharath, For such kind of questions, you would contact Technical Support with at least a complete log file. Regards, Chri...

circa 9 anni fa | 0

Risposto
Customizing Polyspace Code Prover Report
Hi Shaku, Using DeveloperReview template, you get a summary of run-time checks by files added to the analysis. Files not prese...

circa 9 anni fa | 0

Risposto
I have qurious things about values that can be measured by code metric of bug finder
Hello Cheolgyu, I guess you would ask this request to technical Support. Regards, Christian

circa 9 anni fa | 0

Risposto
How many maximum files can polyspace verify successfully at a time?
Hello Pallavi, I guess when using Polyspace Bug Finder, you can put all your project at once. When using Polyspace Code Prover...

circa 9 anni fa | 0

| accettato

Inviato


USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD
This document defines a general and standard approach to measure the software quality.

oltre 9 anni fa | 2 download |

5.0 / 5
Thumbnail

Risposto
FLE file does not exist
Hi! In order to have higher precision results, please contact Technical Support with the complete results folder: they may prov...

quasi 11 anni fa | 0

Risposto
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered

circa 11 anni fa | 0

Risposto
Polyspace: Defines-Handling not correct?
Dear Thomas, with current version of Polyspace Code Prover (for instance R2014b) and default options, it works as expected.

circa 11 anni fa | 0

| accettato

Risposto
in polyspace why pointers assignation fails
With the following code, and with default options, Polyspace Code Prover (release R2013b) "got" it: typedef unsigned char u...

quasi 12 anni fa | 0

Risposto
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*

quasi 12 anni fa | 0

| accettato

Risposto
Polyspace for C error messages: invalid storage class for a parameter/a declaration here must declare a parameter
I recommend you to contact Technical Support with complete log file. A plus would also to provide a small sample that reproduces...

quasi 12 anni fa | 0

Risposto
How do I get Polyspace Code Prover to recognize the printf function?
For this question, there are many answers like for instance relaunching with -D __polyspace_no_printf. It depends mainly of the...

quasi 12 anni fa | 0

Risposto
Polyspace error during Normalization of xiosbase include file
Another way to workaround the limitation consists in relaunching with option *–functions-to-stub std::ios_base::clear*. It will ...

oltre 13 anni fa | 0

Risposto
Polyspace error during Normalization of xiosbase include file
The way to workaround this issue is to follow these steps: * copy xiosbase near configuration file and rename it as ps_xiosba...

oltre 13 anni fa | 0