Predicate conditionControlsMethod
Holds if ma is controlled by the condition expression e.
Import path
import semmle.code.java.security.ConditionalBypassQueryHolds if ma is controlled by the condition expression e.
import semmle.code.java.security.ConditionalBypassQuery