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