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

Predicate memberFcnMightRunOnStack

Holds if this member function might be called on an object which is allocated on the stack.

Import path

import semmle.code.cpp.dataflow.StackAddress
predicate memberFcnMightRunOnStack(MemberFunction fcn, Type useType)