Holds if pred has a successor node succ.
Import path
import semmle.code.java.security.CsrfUnprotectedRequestTypeQuerypredicate edges(CallPathNode pred, CallPathNode succ)Holds if pred has a successor node succ.
import semmle.code.java.security.CsrfUnprotectedRequestTypeQuerypredicate edges(CallPathNode pred, CallPathNode succ)