Community Profile

photo

Christian Bard

Last seen: 2일 전 2012년부터 활동

Statistics

All
  • GitHub Submissions Level 1
  • 3 Month Streak
  • Personal Best Downloads Level 1
  • First Review
  • 5-Star Galaxy Level 1
  • First Submission
  • Revival Level 3
  • Knowledgeable Level 2
  • First Answer

배지 보기

Content Feed

보기 기준

답변 있음
Import comments with downloaded results doesn't work
Since Polyspace Access R2022b, you can import comments from one project to another directly from Polyspace Access webUI.

28일 전 | 0

답변 있음
False negatives for MISRA 9.3 missed for float array partial initialization
That is a specific Polyspace implementation of the rule 9.3. We have extended the exception 1 of the rule 9.3 with 0.0 and 0.0f....

4달 전 | 1

| 수락됨

답변 있음
Polyspace R2021a 버전의 CERT-C의 어떤 항목이 지원되는지 문의 드립니다.
In each shipped product, at location <polyspaceroot>\polyspace\resources, Excel file Polyspace <Release> Results Lists.xlsx prov...

6달 전 | 0

답변 있음
[Polyspace codsprover] error -enable-concurrency-detection cannot be used
I recommend to contact Technical Support with a complete log file. A way to reproduce would be increase resolution of the case.

6달 전 | 0

답변 있음
[Polyspace Codeprover] incompatible issue
When using Polyspace on a C++ application, it is recommended to use polyspace-configure. See also ref doc for deeper informatio...

6달 전 | 0

답변 있음
How can I get polyspace-report-generator to include source line when using -generate-results-list-file option?
This functionality does not exist currently in Polyspace Bug Finder. The localization of a finding can only be seen in the Polys...

약 1년 전 | 0

| 수락됨

답변 있음
Polyspace access comments have been erased after database cleanup
That is certainly due to problem detected in release R2020b due to clean up feature. See https://fr.mathworks.com/support/bugrep...

약 1년 전 | 0

답변 있음
Polyspace Access - Cluster Dashboard, User Manger-Manage Users
To access and manage users login, the password is the one of the cluster admin. It can be reset by ./admin-docker-agent --reset-...

1년 이상 전 | 1

답변 있음
Compiler Polyspace bug finder error
That is recommended to use polyspace-configure on the build chain to get the set of options and target values to match your comp...

1년 이상 전 | 0

답변 있음
How can I define TI C2000 compilers for Polyspace bug finder
Hi, That is recommended to use polyspace-configure on the build chain to get the set of option and target values for a TI C200...

1년 이상 전 | 0

답변 있음
Facing issue( Enum class name is prefixed in 2019b )
Dear HongGyun Kim, There is 8 years between the two versions of Polyspace. In 8 years Polyspace compiler did improve and match...

2년 이상 전 | 0

답변 있음
Why do we get "Failure with error code 252 " in Polyspace 8.5 log?
Hi Jeevan, Please contact Technical Support with a complete log file. Regards, Christian

약 6년 전 | 0

답변 있음
Are the correct target processor type settings required to run MISRA checks?
Hi Fabian, The target processor types have indeed an impact on MISRA results in Polyspace. For instance using Polyspace MISR...

약 6년 전 | 0

| 수락됨

답변 있음
Polyspace and Report Generator: "PolyspaceData"
Hi Patrick, If you want to customize the report, please refer to documentation http://www.mathworks.com/help/bugfinder/ug/cust...

약 6년 전 | 0

답변 있음
Customizing Polyspace Bug Finder report
Hi SP, It is actually possible to customize Polyspace Bug Finder report but not for this use case (see documentation http://w...

약 6년 전 | 0

답변 있음
How is this DRS (Data Range Specification )in Polyspace code prover is generated?
Hi Shaku, Actually that is not possible to give a min/max range for each element of an array using data range specifications...

약 6년 전 | 0

답변 있음
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...

약 6년 전 | 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...

약 6년 전 | 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...

약 6년 전 | 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

약 6년 전 | 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...

약 6년 전 | 0

| 수락됨

답변 있음
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...

7년 이상 전 | 0

답변 있음
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered

8년 이하 전 | 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.

8년 이하 전 | 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...

9년 이하 전 | 0

답변 있음
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*

9년 이하 전 | 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...

9년 이하 전 | 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...

9년 이하 전 | 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 ...

약 10년 전 | 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...

10년 이상 전 | 0