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

Member predicate Ssa::Definition::isLiveOutRefParameterDefinition

Holds if this SSA definition assigns to out/ref parameter p, and the parameter may remain unchanged throughout the rest of the enclosing callable.

predicate isLiveOutRefParameterDefinition(Parameter p)