CodeQL library for C#
codeql/csharp-all 0.10.0 (changelog, source)
Search

Member predicate VariableCapture::CaptureInput::ClosureExpr::hasAliasedAccess

Holds if f is an expression that may hold the value of the closure and may occur in a position where the value escapes or where the closure may be invoked.

For example, if a lambda is assigned to a variable, then references to that variable in return or argument positions should be included.

predicate hasAliasedAccess(Expr f)