Azzera filtri
Azzera filtri

HIS Code Metrics justification

36 visualizzazioni (ultimi 30 giorni)
Svatopluk
Svatopluk il 5 Ott 2022
Modificato: Anirban il 22 Nov 2022
Hello,
does anyone know how to justify HIS findings in code?
I have tried:
/* polyspace<Custom:Language Scope:Not a defect:Justify with annotations> The code is difficult because it's highly optimized. */
/* polyspace<Custom Number of Called Functions:Not a defect:Justify with annotations> The amout of called functions is necessary due to readability and functionality */
/* polyspace<Custom VOCF:Not a defect:Justify with annotations> The amout of called functions is necessary due to readability and functionality */
But with no luck.
I know that normally I use the same format of comment with MISRA or RTE findings.
I am using polyspace check for C++ code.

Risposta accettata

Anirban
Anirban il 12 Ott 2022
You have to use:
/* polyspace CODE-METRICS: VOCF [Not a defect:Low] The amount of called functions is necessary due to readability and functionality */
.
  6 Commenti
Svatopluk
Svatopluk il 22 Nov 2022
Thanks, do you have any example? From 15th i am trying to justify file metrics, on the 1st line, with the string format is you have suggested, but with no luck ( Language Scope, anf number of called functions)
Anirban
Anirban il 22 Nov 2022
Correcting my previous answer: it seems file metrics cannot be justified. However, language scope and number of called functions are function metrics, not file metrics, and should be justifiable. For instance, you can try the example below and see that the language scope is justified:
int g(int);
int f(int i) /* polyspace CODE-METRIC:VOCF [No action planned:Low] "The amount of called functions is necessary due to readability and functionality." */
{
if (i == 1)
return i;
else
return i * g(i-1);
}
About the reason why language scope and number of called functions are coming at the beginning of the file instead of next to a function definiton, I am not sure. Please contact MathWorks Technical Support for more help with the problem: https://www.mathworks.com/support/contact_us.html

Accedi per commentare.

Più risposte (0)

Community Treasure Hunt

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

Start Hunting!

Translated by