Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: LDRA mapping added

...

Tool

Version

Checker

Description

CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

ALLOC.LEAK

Leak

Compass/ROSE   

Coverity

Include Page
Coverity_V
Coverity_V

RESOURCE_LEAK

Finds resource leaks from variables that go out of scope while owning a resource

Cppcheck 
Include Page
Cppcheck_V
Cppcheck_V
 leakReturnValNotUsedDoesn't use return value of memory allocation function

Fortify SCA

5.0

  

Klocwork

Include Page
Klocwork_V
Klocwork_V

MLK
UFM.FFM

 

LDRA tool suite

Include Page
LDRA_V
LDRA_V

484 S, 112 50 D

Partially implemented
Parasoft C/C++test9.5BD-RES-LEAK 
Parasoft Insure++  Detects leaks at runtime
Polyspace Bug FinderR2016aMemory leak

Memory allocated dynamically not freed

SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
S3584 

Splint

Include Page
Splint_V
Splint_V
  

...