Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Code Block
bgColor#ffcccc
langc
enum { MAX = 100 };

int helper(int i) {
  /* Perform some computation based on i. */
}

int main(void) {
  size_t i;
  int out[MAX];

  for (i = 0; i < MAX; i++) {
    out[i] = helper(i);
  }

  /* ... */

}

...

Code Block
bgColor#ccccff
langc
enum {MAX = 100};

static int helper(int i) {
  /* Perform some computation based on i. */
}

int main(void) {
  size_t i;
  int out[MAX];

  for (i = 0; i < MAX; i++) {
    out[i] = helper(i);
  }

  /* ... */

}

...

Recommendation

Severity

Likelihood

Remediation Cost

Priority

Level

DCL15-C

lowLow

unlikelyUnlikely

lowLow

P3

L3

Automated Detection

Tool

Version

Checker

Description

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.DCL15

Fully implemented

LDRA tool suite

Include Page
LDRA_V
LDRA_V

27 D
61 D
553 S

Fully implemented

PRQA QA-C
Include Page
PRQA_V
PRQA_V

1504
1505

Fully implemented

Splint

Include Page
Splint_V
Splint_V

 

 

...