Predicate conditionControlsMethod
Calls to a sensitive method that are controlled by a condition on the given expression.
Import path
import semmle.code.csharp.security.dataflow.ConditionalBypassQuery
predicate conditionControlsMethod(SensitiveExecutionMethodCall call, Expr e)