Member predicate TaintTrackingImplementation :: callFlowStep
predicate
callFlowStep
(
TaintTrackingNode
src
,
Node
node
,
TaintTrackingContext
context
,
AttributePath
path
,
TaintKind
kind
,
string
edgeLabel
)