SEI CERT C++ Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 40

changes.mady.by.user Anirban Gangopadhyay

Saved on

compared with

New Version Current

changes.mady.by.user Francesco Mariani

Saved on

Key

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

...

The restrictions on reading and writing a sequence controlled by an object of class basic_filebuf<charT, traits> are the same as for reading and writing with the Standard C library FILEs.

The C Standard, subclause 7.19.5.3, paragraph 6 [ISO/IEC 9899:1999], places the following restrictions on FILE objects opened for both reading and writing:

...

Alternately inputting and outputting from a stream without an intervening flush or positioning call is undefined behavior.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

FIO50-CPP

Low

Likely

Yes

NoMedium

P6

L2

Automated Detection

Tool

Version

Checker

Description

Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC++-FIO50
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

IO.IOWOP

IO.OIWOP

Input After Output Without Positioning

Output After Input Without Positioning

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

DF4711, DF4712, DF4713


Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_CPP-FIO50-a

Do not alternately input and output from a stream without an intervening flush or positioning call
Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: FIO50-CPPChecks for alternating input and output from a stream without flush or positioning call (rule fully covered)
Security Reviewer - Static Reviewer

6.02

C17Fully implemented

Related Vulnerabilities

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

...