Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: fixed CWE freference although table row still looks funky

...

Tool

Version

Checker

Description

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

Fortify SCA

5.0Double Free

  

Klocwork

Include Page
Klocwork_V
Klocwork_V

MLK
UFM.FFM

 

LDRA tool suite

Include Page
LDRA_V
LDRA_V

484 S

Fully implemented

Splint

Include Page
Splint_V
Splint_V
  

...

CERT C++ Secure Coding StandardMEM31-CPP. Free dynamically allocated memory exactly once
ISO/IEC TR 24772:2013Memory Leak [XYL]
ISO/IEC TS 17961Failing to close files or free dynamic memory when they are no longer needed [fileclose]
MITRE CWE

CWE-

415, Double free

401, Failure to Release Memory Before Removing Last Reference ('Memory Leak')

Bibliography

[ISO/IEC 9899:2011]Subclause 7.22.3, "Memory Management Functions"

...