SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 71

changes.mady.by.user Jill Britton

Saved on

compared with

New Version 72

changes.mady.by.user Pranjal Jumde

Saved on

Key

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

...

The internal representations of bit-field structures have several properties (such as internal padding) that are implementation-defined. Additionally, bit-field structures have several implementation-defined constraints:

...

Bit fields can be used to allow flags or other integer values with small ranges to be packed together to save storage space. Bit fields can improve the storage efficiency of structures. Compilers typically allocate consecutive bit-field structure members into the same int-sized storage, as long as they fit completely into that storage unit. However, the order of allocation within a storage unit is implementation-defined. Some implementations are right-to-left: the first member occupies the low-order position of the storage unit. Others are left-to-right: the first member occupies the high-order position of the storage unit. Calculations that depend on the order of bits within a storage unit may produce different results on different implementations.

...

Tool

Version

Checker

Description

Compass/ROSE

 

 

Can detect violations of this recommendation. Specifically, it reports violations if

    • a pointer to one object is type cast to the pointer of a different object.
    • the pointed-to object of the (type cast) pointer is then modified arithmetically.

LDRA tool suite

Include Page
LDRA_V
LDRA_V

94 S
95 S

Fully implemented.

PRQA QA·CQA-C
Include Page
PRQA_V
PRQA_V
 Partially implemented

...

ISO/IEC TR 17961 (Draft) Accessing an object through a pointer to an incompatible type [ptrcomp]

ISO/IEC TR 24772 "STR Bit representations"

MISRA Rule 3.5

Bibliography

[Plum 1985] Rule 6-5

...