Statistics
RANK
1.985
of 250.319
REPUTATION
22
CONTRIBUTIONS
0 Questions
25 Answers
ANSWER ACCEPTANCE
0.00%
VOTES RECEIVED
1
RANK
2.610 of 17.387
REPUTATION
582
AVERAGE RATING
4.50
CONTRIBUTIONS
5 Files
DOWNLOADS
16
ALL TIME DOWNLOADS
3956
RANK
of 104.009
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Contribute at least one answer each month for 3 consecutive months
Awarded to Christian Bard on 02 Nov 2021
Your submissions were downloaded 10 or more times in a month
Awarded to Christian Bard on 01 Nov 2019
Publish your first review
Awarded to Christian Bard on 09 Oct 2019
Your submissions received 1 five star rating
Awarded to Christian Bard on 09 Oct 2019
Publish your first submission
Awarded to Christian Bard on 09 Oct 2019
Answer 10 questions that were unanswered for more than 30 days
Awarded to Christian Bard on 20 Jul 2017
3 of your answers have been accepted
Awarded to Christian Bard on 20 Jul 2017
Provide your first answer ever to someone else's question
Awarded to Christian Bard on 20 Jul 2017
Content Feed
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...
4 maanden ago | 0
| accepted
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...
4 maanden ago | 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-...
6 maanden ago | 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...
11 maanden ago | 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...
11 maanden ago | 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...
meer dan een jaar ago | 0
Submitted
Polyspace Obfuscator
Obfuscate source code to reproduce Polyspace behaviors to exchange with Technical Support
meer dan 3 jaar ago | 1 download |
Submitted
Implementing DISA STIG Rules with Polyspace Bug Finder
Polyspace Bug Finder can help in automating the implementation of the STIG rules
meer dan 3 jaar ago | 8 downloads |
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
ongeveer 5 jaar ago | 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...
ongeveer 5 jaar ago | 0
| accepted
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...
ongeveer 5 jaar ago | 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...
ongeveer 5 jaar ago | 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...
ongeveer 5 jaar ago | 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...
ongeveer 5 jaar ago | 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...
ongeveer 5 jaar ago | 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...
ongeveer 5 jaar ago | 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
ongeveer 5 jaar ago | 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...
ongeveer 5 jaar ago | 0
| accepted
Submitted
Polyspace Compiler Templates
Polyspace Compiler template sets help at setup phase according to compiler and target
meer dan 5 jaar ago | 3 downloads |
Submitted
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.
meer dan 5 jaar ago | 3 downloads |
Submitted
Post Preprocessing Templates
post preprocessing scripts
meer dan 5 jaar ago | 1 download |
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...
bijna 7 jaar ago | 0
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered
ongeveer 7 jaar ago | 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.
ongeveer 7 jaar ago | 0
| accepted
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...
bijna 8 jaar ago | 0
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*
bijna 8 jaar ago | 0
| accepted
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...
bijna 8 jaar ago | 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...
bijna 8 jaar ago | 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 ...
meer dan 9 jaar ago | 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...
meer dan 9 jaar ago | 0
