Predicate AssignableDefinitions::isUncertainRefCall
Holds if the ref assignment to aa via call c is uncertain.
Import path
import semmle.code.csharp.Assignablepredicate isUncertainRefCall(RefArg arg)Holds if the ref assignment to aa via call c is uncertain.
import semmle.code.csharp.Assignablepredicate isUncertainRefCall(RefArg arg)