Predicate Private :: summaryOutNode
Holds if summary node out
contains output of kind rk
from call c
.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate
summaryOutNode
(
DataFlowCall
c
,
SummaryNode
out
,
ReturnKind
rk
)