Christian Bard

Last seen: Today | 自 2012 起处于活动状态

Followers: 0 Following: 0

消息

统计学

All

排名
1,231
of 298,264

声誉
60

贡献数
0 个提问
41 个回答

回答接受率
0.00%

收到投票数
4

查看徽章

Feeds

已回答
Polyspace errors cause from "@interrupt"
If you are not setting -compiler cosmic, you may use a Perl -post-preprocessing-command script like below (see doc): #!/usr/bin...

12 hours 前 | 0

已回答
Polyspace Bug Finder Shows Defects Although Not Activated
Defects are not managed by the option -checkers-selection-file but with option -checkers. Note that -chekers-activation-file a...

26 days 前 | 1

已回答
Error during the execution of the Polyspace Bug Finder script
Within release R2019b, MATLAB and Polyspace must be installed in separate folders. Recommend workflow: Uninstall everything...

27 days 前 | 0

| 已接受

已回答
Different Results for Polyspace as You Code (PaYC) and "normal" Polyspace
As you mentioned, Polyspace as You Code is a plug-in for certain IDEs that analyzes one file at a time. This allows you to selec...

1 month 前 | 0

| 已接受

已回答
Polyspace Checks MISRA-C:2012 Directives which are Non-existent in the Document
Directive 5 is coming with amendment 4 of MISRA C:2012 - see official document here: https://www.misra.org.uk/app/uploads/2023/0...

2 months 前 | 0

| 已接受

已回答
Add Polyspace Suppression for MISRA Directive
In the Polyspace UI, when you select a violation, you can right-click and choose "Add Pre-justification to clipboard." For more ...

2 months 前 | 0

| 已接受

已回答
Polyspace toolbox installation issue-MATLAB 2024b
Install MATLAB and other toolboxes in one folder and install Polyspace in another folder. Then cross install Polyspace in MATLAB...

2 months 前 | 0

已提交

Implement DISA STIG Rules with Polyspace Bug Finder
Polyspace Bug Finder is a static analysis tool that can help automate the implementation of a subset of STIG rules.

7 months 前 | 5 次下载 |

0.0 / 5

已提交

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

1 year 前 | 2 次下载 |

0.0 / 5

已回答
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,...

2 years 前 | 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://...

2 years 前 | 0

| 已接受

已回答
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...

2 years 前 | 0

| 已接受

已回答
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...

2 years 前 | 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.

2 years 前 | 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....

2 years 前 | 1

| 已接受

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

3 years 前 | 1

| 已接受

已回答
[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.

3 years 前 | 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...

3 years 前 | 0

已提交

Recategorization-Plan-Guidelines-for-MISRA-Using-Polyspace
Document describing a process that allows to follow a recategorization plan guidelines using Polyspace Bug Finder

3 years 前 | 2 次下载 |

0.0 / 5

已回答
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...

3 years 前 | 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...

3 years 前 | 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-...

3 years 前 | 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...

4 years 前 | 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...

4 years 前 | 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...

4 years 前 | 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

8 years 前 | 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...

8 years 前 | 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...

8 years 前 | 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...

8 years 前 | 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...

8 years 前 | 0

加载更多