FaultDetection-EscapingLocalAddressΒΆ

The address of a local variable should not escape its function

Required inputs: IR, StaticSemanticAnalysis

This check detects functions where the address of a local variable might escape into the caller, risking the danger of accessing the address there where the variable no longer exists.

Possible Messages

Key

Text

Severity

Disabled

escaping_address

Escaping address of local variable (as target of {name1})

None

False

possibly_escaping_address

Possibly escaping address of local variable (as target of {name1})

None

False

Options