Member predicate Configuration::isSinkWithHighlight
Holds if sink
is a command-injection sink with highlight
as the corresponding alert location.
predicate isSinkWithHighlight(Node sink, Node highlight)
Holds if sink
is a command-injection sink with highlight
as the corresponding alert location.
predicate isSinkWithHighlight(Node sink, Node highlight)