Versions Compared

Key

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

...

Tool

Version

Checker

Description

LDRA tool suite
Include Page
LDRA_V
LDRA_V
17 D, 69 S, 42 SPartially implemented
Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
CERT_C-MSC14-a

Evaluation of constant unsigned integer expressions should not lead to wrap-around

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v

0202, 2840240, 5810241, 6340242, 14340243, 02400246, 0241

0284, 02460551, 05510581, 0601,
0633, 0634,

0635, 0660, 0662, 0830, 0831, 0840,

0883, 0899, 1001, 1002,
1003, 1006,

1008, 1012, 1014, 1015, 1019, 1020,

1021,
1022, 1026, 1028, 1029, 1034,

1035, 1036, 10371037, 1038,
1041, 1042,

1043, 1044, 1045, 1046, 1434, 3664

Partially implemented

...