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