Module EscapesTree
Provides a local analysis for identifying where a variable address or value may escape an expression tree, meaning that it is assigned to a variable, passed to a function, or similar.
Import path
import semmle.code.cpp.dataflow.EscapesTree