Module Cached

Import path

import semmle.code.cil.CallableReturns

alwaysNotNullMethod	Holds if method `m` always returns non-null.
alwaysNullMethod	Holds if method `m` always returns null.
alwaysThrowsException	Holds if method `m` always throws an exception of type `t`.
alwaysThrowsMethod	Holds if method `m` always throws an exception.