FaultDetection-StackFree

Do not release stack/static objects

Required inputs: IR, StaticSemanticAnalysis

This check detects attempts to free/delete a pointer pointing to stack or global variables which are not allocated dynamically (static object). It also reports attempts to free string literals.

Possible Messages

Key	Text	Severity	Disabled
possible_stack_free	{name0} possibly released by call to {node0} is a stack or static object	None	False
stack_free	{name0} released by call to {node0} is a stack or static object	None	False

Options

• This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity

• The following places define options that affect this rule: Stylechecks, Analysis-GlobalOptions

resources

resources

Type: set[str]

Default: {'C++ArrayHeapMemory', 'C++HeapMemory', 'CudaAsyncMemory', 'CudaDeviceMemory', 'CudaDriverAsyncMemory', 'CudaHostMemory', 'CudaManagedMemory', 'HeapMemory', 'UniquePtrHeapMemory'}

Deallocator calls of these resources are checked for being called with a stack/static object; the names are a selection of rules in the Resources group.

 

witness_paths

witness_paths : bool = True

Whether witness paths should be determined and included in the issue.