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

Predicate AssignableDefinitions::isUncertainRefCall

Holds if the ref assignment to aa via call c is uncertain.

Import path

import csharp
predicate isUncertainRefCall(RefArg arg)