Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: axivion tool

...

Tool

Version

Checker

Description

Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC++-FIO50
Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C++4711, C++4712, C++4713


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)

...