Predicate Cached::alwaysThrowsMethod
Holds if method m always throws an exception.
Import path
import semmle.code.cil.CallableReturnspredicate alwaysThrowsMethod(Method m)Holds if method m always throws an exception.
import semmle.code.cil.CallableReturnspredicate alwaysThrowsMethod(Method m)