JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

CodeSonar® 9.2p0 CONFIDENTIAL CodeSecure Inc
Ada

ADA.ALLOC.LEAK.MEM : Memory Leak (Ada)

This warning class corresponds to a GNAT SAS message. The CodeSonar analysis results may include warnings of this class if your CodeSonar project includes Ada components.

Summary

A variable is dynamically allocated with new and not subsequently deallocated with an instance of Ada.Unchecked_Deallocation.

This warning class corresponds to the GNAT SAS Memory_leak.

Properties

Class Name Memory Leak (Ada)
Significance reliability
Mnemonic ADA.ALLOC.LEAK.MEM
Categories
CWE CWE:401 Missing Release of Memory after Effective Lifetime
  CWE:459 Incomplete Cleanup
  CWE:771 Missing Reference to Active Allocated Resource
  CWE:772 Missing Release of Resource after Effective Lifetime
  CWE:1091 Use of Object without Invoking Destructor Method
Availability Available for Ada only.
Enabling Checks for this warning class are enabled by default. To disable them, add the following WARNING_FILTER rule to the project configuration file. 
WARNING_FILTER += discard class="Memory Leak (Ada)"

Example

procedure P is
  X : access Integer := new Integer; -- warning issued here
begin
  null;
end P;

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.

 

To report problems with this documentation, please visit https://support.codesecure.com/.