Predicate ConditionalBypass::UserControlledBypassOfSensitiveMethod::conditionControlsMethod

Calls to a sensitive method that are controlled by a condition on the given expression.

predicate conditionControlsMethod(MethodCall call, Expr e)