Predicate Cached::alwaysNotNullMethod
Holds if method m always returns non-null.
Import path
import semmle.code.cil.CallableReturnspredicate alwaysNotNullMethod(Method m)Holds if method m always returns non-null.
import semmle.code.cil.CallableReturnspredicate alwaysNotNullMethod(Method m)