Polysapce code prover C justifications

2021 2 22
1 个回答
回答已采纳
更新时间：2021 2 24
10 次查看（30 天）

0 个投票

Hello Members,
I am running polyspace code prover R2019B for C with configuration as source code : c version :c11 compiler:gnu7.x target : x86_64
check for misra c :2012 , where for some findings i am trying to justify but polyspace is not taking those justification in generated report.
The jsutification formats i have tried are <code segmeny>; /* polyspace <MISRA-C: 9.1 :Low:Justified>"Value upated in preceding function call"*/
<code_segment>; /* polyspace MISRA-C:D4.11[Justified:Low]"Due to if check amount of memory to copied is within range" */
<code_segment>; /* Polyspace MISRA-C2012:D4.1 [Justified : Low] "Pointer not outside range"*/
<code_segment>; /* Polyspace MISRA-C-2012:D4-1 [Justified : Low] "Pointer not outside range"*/
here code_segment is single line of code for which issue is reported
But it is taking none of these.
Please let me know how to proceed.
regards
Hrishikesh

请先登录，再回答此问题。

 采纳的回答

Anirban
Anirban 2021-2-22

1 个投票

To justify MISRA C:2012 results, the term after polyspace should be either MISRA-C3 or MISRA2012 .
See Annotate Code and Hide Known or Acceptable Results.

2 个评论
显示 无 隐藏 无

Hi Anirban,
Thanks for the answer, now it is taking the justification, two more subquestions
a. I am observing in polyspace report eventhough the justification is accepted by polyspace, it is not affecting total number of misra violtions reported . In report , it is showing status as justified but total number of violations is same.
b. for a single line if multiple justifications for different rules are present what is the format?
<code_segment>; /* Polyspace MISRA2012:D4-1 [Justified : Low] "Pointer not outside range"*/ /* Polyspace MISRA2012:D4-11 [Justified : Low] "Some Different justification"*/
regards
Hrishikesh
Anirban
Anirban 2021-2-24
编辑：Anirban 2021-2-24
a. By 'report', do you mean the PDF or Word reports or do you mean just the results list in the Polyspace user interface? To hide results that are justified in code from the list in the Polyspace user interface, on the Showing menu at the top, check the box titled Hide results justified in code. The results justified in code will disappear from view. See more details in Address Results Through Bug Fixes or Justifications.
About the PDF or Word reports, those are typically meant for certification, so all results are shown (along with justifications). However, there is a provision to create a filtered report. Once you have justified results like the above in the Polyspace user interface, when generating a report (Reporting > Run Report), you can choose to display only the results that are not hidden. See more details in Generate Reports. The report covers will clearly indicate that the report is filtered.
b. Your suggested format works. You can compress them slightly into one comment as:
<code_segment>; /* Polyspace MISRA2012:D4-1 [Justified : Low] "Pointer not outside range" Polyspace MISRA2012:D4-11 [Justified : Low] "Some Different justification"*/
Each mention of 'Polyspace' starts a new justification.

请先登录，再进行评论。

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Data Flow Checks 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by