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

overflow_upon_dereference
invalid_function_pointer

Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC++-OOP55
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.MEM.UVAR

Uninitialized Variable

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C++2810, C++2811, C++2812, C++2813, C++2814DF2810, DF2811, DF2812, DF2813, DF2814


Klocwork
Include Page
Klocwork_V
Klocwork_V

CERT.OOP.PTR_MEMBER.NO_MEMBER


Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
CERT_CPP-OOP55-a

A cast shall not convert a pointer to a function to any other pointer type, including a pointer to function type

Parasoft Insure++

Runtime detection
Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: OOP55-CPPChecks for pointers to member accessing non-existent class members (rule fully covered).
 PRQA QA-C++

Include Page
PRQA QA-C++_V
PRQA QA-C++_V
 

2810, 2811, 2812, 2813, 2814 

...