Statistiche
RANK
1.496
of 289.890
REPUTAZIONE
42
CONTRIBUTI
0 Domande
34 Risposte
ACCETTAZIONE DELLE RISPOSTE
0.00%
VOTI RICEVUTI
3
RANK
2.654 of 19.604
REPUTAZIONE
616
VALUTAZIONE MEDIA
4.50
CONTRIBUTI
6 File
DOWNLOAD
26
ALL TIME DOWNLOAD
4272
RANK
of 144.263
CONTRIBUTI
0 Problemi
0 Soluzioni
PUNTEGGIO
0
NUMERO DI BADGE
0
CONTRIBUTI
0 Post
CONTRIBUTI
0 Pubblico Canali
VALUTAZIONE MEDIA
CONTRIBUTI
0 Punti principali
NUMERO MEDIO DI LIKE
Have 1 submission connected to GitHub
Awarded to Christian Bard on 06 May 2022
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
Feeds
Why does Polyspace mark an include as useless when it is clearly being used by the code?
I assume that you are speaking about BF defect which checks for useless include files in a source code. To answer your question,...
9 mesi fa | 0
cert-c rule이 Not implement인 것의 이유는 무엇인가요?
You can look for more information on supported CERT-C rules by Polyspace Bug Finder in the documentation. Link is here: https://...
circa un anno fa | 0
| accettato
polyspace 2022a 에 적용된 CWE와 CERT-C의 version을 알수있습니까?
I assume that this link to documentation can be an answer to the question: https://www.mathworks.com/help/bugfinder/ug/polyspace...
circa un anno fa | 0
| accettato
PolyspaceAsYouCode analyse header files
I assume that you did set build in PolyspaceAsYouCode plug-in with a Polyspace build options file. In order that PaYC would ana...
oltre un anno fa | 0
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.
oltre un anno fa | 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....
oltre un anno fa | 1
| accettato
Polyspace R2021a 버전의 CERT-C의 어떤 항목이 지원되는지 문의 드립니다.
In each shipped product, at location <polyspaceroot>\polyspace\resources, Excel file Polyspace <Release> Results Lists.xlsx prov...
quasi 2 anni fa | 1
| accettato
[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.
quasi 2 anni fa | 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...
quasi 2 anni fa | 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...
oltre 2 anni fa | 0
| accettato
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...
oltre 2 anni fa | 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-...
oltre 2 anni fa | 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...
circa 3 anni fa | 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...
circa 3 anni fa | 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...
oltre 3 anni fa | 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
oltre 7 anni fa | 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...
oltre 7 anni fa | 0
| accettato
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...
oltre 7 anni fa | 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...
oltre 7 anni fa | 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...
oltre 7 anni fa | 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...
oltre 7 anni fa | 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...
oltre 7 anni fa | 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...
oltre 7 anni fa | 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
oltre 7 anni fa | 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...
oltre 7 anni fa | 0
| accettato
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...
circa 9 anni fa | 0
Polyspace Metrics Server - Usage of Justifications
Dear Matthias, Justification of the last run are considered
oltre 9 anni fa | 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.
oltre 9 anni fa | 0
| accettato
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...
circa 10 anni fa | 0
Custom Rules Check - Struct
Would you please try with a regexp like the following: .*STRUCT.*
circa 10 anni fa | 0
| accettato
Puoi anche selezionare un sito web dal seguente elenco:
Americhe
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia-Pacifico
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)