Member predicate Configuration::isSinkWithHighlight
Holds if sink
is a data-flow sink for command-injection vulnerabilities, and
the alert should be placed at the node highlight
.
predicate isSinkWithHighlight(Node sink, Node highlight)
Holds if sink
is a data-flow sink for command-injection vulnerabilities, and
the alert should be placed at the node highlight
.
predicate isSinkWithHighlight(Node sink, Node highlight)