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