Predicate UserControlledBypassOfSensitiveMethod::conditionControlsMethod

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

Import path

import semmle.code.csharp.security.dataflow.ConditionalBypass
predicate conditionControlsMethod(SensitiveExecutionMethodCall call, Expr e)