Community Profile

photo

Christian Bard


MathWorks

24 2012 年以降の合計貢献数

Professional Interests: Polyspace products

連絡する

Christian Bard's バッジ

  • First Review
  • 5-Star Galaxy Level 1
  • First Submission
  • Revival Level 3
  • Knowledgeable Level 2
  • First Answer

詳細を表示...

貢献した分野
表示方法

送信済み


Polyspace Obfuscator
Obfuscate source code to reproduce Polyspace behaviors to exchange with Technical Support

約1年 前 | ダウンロード 4 件 |

Thumbnail

送信済み


Implementing DISA STIG Rules with Polyspace Bug Finder
Polyspace Bug Finder can help in automating the implementation of the STIG rules

約1年 前 | ダウンロード 4 件 |

Thumbnail

回答済み
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

3年弱 前 | 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...

3年弱 前 | 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...

3年弱 前 | 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...

3年弱 前 | 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...

3年弱 前 | 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...

3年弱 前 | 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...

3年弱 前 | 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...

3年弱 前 | 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

3年弱 前 | 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...

3年弱 前 | 0

| 採用済み

送信済み


Polyspace Compiler Templates
Polyspace Compiler template sets help at setup phase according to compiler and target

約3年 前 | ダウンロード 3 件 |

Thumbnail

送信済み


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.

約3年 前 | ダウンロード 2 件 |

Thumbnail

送信済み


Post Preprocessing Templates
post preprocessing scripts

約3年 前 | ダウンロード 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...

4年以上 前 | 0

回答済み
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered

5年弱 前 | 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.

5年弱 前 | 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...

5年以上 前 | 0

回答済み
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*

5年以上 前 | 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...

5年以上 前 | 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...

5年以上 前 | 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 ...

約7年 前 | 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...

7年以上 前 | 0