Predicate relevantEdge
Holds if pred has a successor node succ and this edge is in an
unprotectedStateChange path.
Import path
import semmle.code.java.security.CsrfUnprotectedRequestTypeQuerypredicate relevantEdge(CallPathNode pred, CallPathNode succ)