Member predicate MustFlowConfiguration :: isSource
Holds if source
is a relevant data flow source.
predicate
isSource
(
Instruction
source
)