Member predicate DataFlow::FlowLabel::isDataOrTaint
Holds if this is one of the standard flow labels FlowLabel::data()
or FlowLabel::taint().
predicate isDataOrTaint()Holds if this is one of the standard flow labels FlowLabel::data()
or FlowLabel::taint().
predicate isDataOrTaint()