Predicate ejbCalls
Holds if there exists a call chain from an EJB-Callable origin to a ForbiddenCallable target
that does not contain any intermediate EJB-Callable or ForbiddenCallable,
and where call is the direct call site of target.
Import path
import semmle.code.java.frameworks.javaee.ejb.EJBRestrictionspredicate ejbCalls(Callable origin, ForbiddenCallable target, Call call)