답변 있음
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...
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...
9년 초과 전 | 0
답변 있음
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...
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...
9년 초과 전 | 0
답변 있음
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...
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...
9년 초과 전 | 0
답변 있음
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
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
9년 초과 전 | 0
답변 있음
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...
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...
9년 초과 전 | 0
| 수락됨
제출됨
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.
9년 초과 전 | 다운로드 수: 1 |
답변 있음
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...
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...
거의 11년 전 | 0
답변 있음
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered
대략 11년 전 | 0
답변 있음
Polyspace: Defines-Handling not correct?
Dear Thomas, with current version of Polyspace Code Prover (for instance R2014b) and default options, it works as expected.
Polyspace: Defines-Handling not correct?
Dear Thomas, with current version of Polyspace Code Prover (for instance R2014b) and default options, it works as expected.
대략 11년 전 | 0
| 수락됨
답변 있음
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...
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...
거의 12년 전 | 0
답변 있음
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*
대략 12년 전 | 0
| 수락됨
답변 있음
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...
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...
대략 12년 전 | 0
답변 있음
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...
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...
대략 12년 전 | 0
답변 있음
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 ...
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 ...
13년 초과 전 | 0
답변 있음
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...
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...
13년 초과 전 | 0