Member predicate DataFlow::FlowLabel::isTaint

Holds if this is the standard FlowLabel::taint() flow label, describing values that are influenced (“tainted”) by a flow source, but not necessarily directly derived from it.

predicate isTaint()