Versions Compared

Key

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

...

Tool

Version

Checker

Description

 Astrée
 

Include Page
Astrée_V
Astrée_V

assignment-to-non-modifiable-lvalue
cast-pointer-void-arithmetic-implicit
function-pointer-integer-cast-implicit
function-return-type
inappropriate-pointer-cast-implicit
initializer-excess
invalid-array-size
parameter-match-type
pointer-integral-cast-implicit
pointer-qualifier-cast-const-implicit
pointer-qualifier-cast-volatile-implicit
redeclaration
type-specifier
undeclared-parameter

Partially checked Supported, but no explicit checker
 LDRA tool suite
 

Include Page
LDRA_V
LDRA_V

 21 S, 145 S, 323 S, 345 S, 387 S, 404 S, 481 S, 580 S, 612 S, 615 S, 646 S
 Polyspace Bug Finder

 

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

 Inline constraint not respected Modifiable static variable is modified in nonstatic inline function
 PRQA QA-C
 

Include Page
PRQA QA-C_v
PRQA QA-C_v

 

0232, 0233, 0244, 0261, 0278, 0321, 0322, 0338, 0422, 0423, 0426, 0427, 0429, 0430, 0431, 0432, 0435, 0436, 0437, 0446, 0447, 0448, 0449, 0450, 0451, 0452, 0453, 0454, 0456, 0457, 0458, 0460, 0461, 0462, 0463, 0466, 0467, 0468, 0469, 0476, 0477, 0478, 0481, 0482, 0483, 0484, 0485, 0486, 0487, 0493, 0494, 0495, 0496, 0513, 0514, 0515, 0536, 0537, 0540, 0541, 0542, 0546, 0547, 0550, 0554, 0555, 0556, 0557, 0558, 0559, 0560, 0561, 0562, 0563, 0564, 0565, 0580, 0588, 0589, 0590, 0591, 0605, 0616, 0619, 0620, 0621, 0622, 0627, 0628, 0629, 0631, 0638, 0640, 0641, 0642, 0643, 0644, 0645, 0646, 0649, 0650, 0651, 0653, 0655, 0656, 0657, 0659, 0664, 0665, 0669, 0671, 0673, 0674, 0675, 0677, 0682, 0683, 0684, 0685, 0690, 0698, 0699, 0708, 0709, 0736, 0737, 0738, 0746, 0747, 0755, 0756, 0757, 0758, 0766, 0767, 0768, 0774, 0775, 0801, 0802, 0803, 0804, 0811, 0812, 0821, 0834, 0835, 0844, 0845, 0851, 0852, 0856, 0866, 0873, 0877, 0940, 0941, 0943, 0944, 1023, 1024, 1025, 1033, 1047, 1048, 1050, 1061, 1062, 3236, 3237, 3238, 3244


 PRQA QA-C++
 4122 
RuleChecker

Include Page
RuleChecker_V
RuleChecker_V

assignment-to-non-modifiable-lvalue
cast-pointer-void-arithmetic-implicit
function-pointer-integer-cast-implicit
function-return-type
inappropriate-pointer-cast-implicit
initializer-excess
invalid-array-size
parameter-match-type
pointer-integral-cast-implicit
pointer-qualifier-cast-const-implicit
pointer-qualifier-cast-volatile-implicit
redeclaration
type-specifier
undeclared-parameter
Partially checked

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...