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()