Predicate Cached::alwaysThrowsException
Holds if method m always throws an exception of type t.
Import path
import semmle.code.cil.CallableReturnspredicate alwaysThrowsException(Method m, Type t)Holds if method m always throws an exception of type t.
import semmle.code.cil.CallableReturnspredicate alwaysThrowsException(Method m, Type t)