SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 115

changes.mady.by.user Arthur Hicken

Saved on

compared with

New Version 116

changes.mady.by.user Ram Cherukuri

Saved on

Key

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

...

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

ALLOC.SIZE.TRUNC

LANG.CAST.COERCE

LANG.CAST.VALUE

MISC.MEM.SIZE.TRUNC

Truncation of Allocation Size

Coercion Alters Value

Cast Alters Value

Truncation of Size

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.INT02

Fully implemented

LDRA tool suite

Include Page
LDRA_V
LDRA_V


52 S, 93 S, 96 S, 101 S, 107 S, 332 S, 334 S, 433 S, 434 S, 446 S, 452 S, 457 S, 458 S

Fully implemented

Parasoft C/C++test9.5MISRA-043{b}Partially implemented
Polyspace Bug FinderR2016a

Integer conversion overflow

Integer overflow

Tainted sign change conversion

Overflow when converting between integer types

Overflow from operation between integers

Value from an unsecure source changes sign

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
1256,1257,1266,1290,1291,1292,1293,1294,1295,1296,1297,1298,1299,4401,
4402,4403,4404,4405,4410,4412,4413,4414,4415,4420,4421,4422,4423,4424,4425,4430,
4431,4432,4434,4435,4436,4437,4440,4441,4442,4443,4445,4446,4447,
4460,4461,4463,4464,4470,4471,4480,4481,
1250,1251,1252,1253,1260,1263,1274,1800,1802,1803,1804,1810,1811,1812,
1813,1820,1821,1822,1823,1824,1830,1831,1832,1833,1834,1840,1841,1842,
1843,1844,1850,1851,1852,1853,1854,1860,1861,1862,1863,1864,1880,1881,1882,
2100,2101,2102,2103,2104,2105,2106,2107,2109,2110,2111,2112,2113,2114,
2115,2116,2117,2118,2119,2120,2122,2124,2130,2132,2134		Fully implemented

...