CodeQL library for C#
codeql/csharp-all 0.6.2 ( 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 )