Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: REM Cost Reform

...

Because race conditions in code are extremely hard to find, this problem might not appear during standard debugging stages of development. However, depending on what file is being read and how important the order of read operations is, this problem can be particular dangerous.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

POS38-C

Medium

mediumUnlikely

unlikelyNo

mediumNo

P4P2

L3

Automated Detection

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

BADFUNC.FORK

Use of fork

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

DF4951, DF4952
Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_C-POS38-a

Avoid race conditions when using fork and file descriptors

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rule POS38-CChecks for file descriptor exposure to child process (rule fully covered)

...