CodeQL library for C#
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)