Predicate conditionControlsMethod
Holds if ma is controlled by the condition expression e.
Import path
import semmle.code.java.security.ConditionalBypassQuery
predicate
conditionControlsMethod
(
MethodAccess
ma
,
Expr
e
)