Versions Compared

Key

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

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V

Supported: Can be checked with appropriate analysis stubs.
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-POS34
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
(customization)
BADFUNC.PUTENV
Users can add a custom check for all uses of putenv().
Use of putenv
Compass/ROSE




Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C5024
Klocwork

Include Page
Klocwork_V
Klocwork_V

CERT.PUTENV.AUTO_VARIABLE


Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-POS34-a
CERT_C-POS34-b

Usage of system properties (environment variables) should be restricted
Do not call putenv() with a pointer to an automatic variable as the argument

PC-lint Plus

Include Page
PC-lint Plus_V
PC-lint Plus_V

2601

Fully supported

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rule POS34-CChecks for use of automatic variable as putenv-family function argument (rule fully covered)

Related Vulnerabilities

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

...