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