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

invalid_pointer_dereference

Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

C++4706, C++4707, C++4708DF4706, DF4707, DF4708


Klocwork
Include Page
Klocwork_V
Klocwork_V
LOCRET.RET
Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_CPP-EXP61-a
CERT_CPP-EXP61-b
CERT_CPP-EXP61-c

Never return lambdas that capture local objects by reference
Never capture local objects from an outer lambda by reference
The lambda that captures local objects by reference should not be assigned to the variable with a greater lifetime

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: EXP61-CPPChecks for situations where object escapes scope through lambda expressions (rule fully covered)
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V1047

...