CodeQL library for C/C++
codeql/cpp-all 0.12.10 (changelog, source)
Search

Member predicate AliasFunction::parameterEscapesOnlyViaReturn

Holds if the address passed to the parameter at the specified index escapes via the return value of the function, but does not otherwise escape. See the comment for parameterNeverEscapes for an example.

predicate parameterEscapesOnlyViaReturn(int index)