Versions Compared

Key

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

...

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

BADMACRO.STDARG_H

Use of <stdarg.h> Feature

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C3497

C++3146, C++3147, C++3148, C++3149, C++3167


Klocwork
Include Page
Klocwork_V
Klocwork_V
VA.LIST.INDETERMINATE
Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_C-MSC39-a

Use macros for variable arguments correctly

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C: Rule MSC39-C

Checks for:

  • Invalid va_list argument

Non-initialized variable

Variable argument list used after invalidation with va_end or not initialized with va_start or va_copy

Variable not initialized before use
  • Too many va_arg calls for current argument list

Rule partially covered.

TrustInSoft Analyzer

Include Page
TrustInSoft Analyzer_V
TrustInSoft Analyzer_V

variadicExhaustively verified.

Related Vulnerabilities

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

...