add missing polarity check

This commit is contained in:
Erik Krogh Kristensen
2021-03-17 13:35:07 +01:00
parent 1db5cb15f0
commit 5898b48391

View File

@@ -155,6 +155,7 @@ class StringReplaceCall extends DataFlow::MethodCallNode {
DataFlow::Node ret
|
replacer = getCallback(1) and
guard.getOutcome() = test.getPolarity() and
guard.getTest() = test and
replacer.getParameter(0).flowsToExpr(test.getAnOperand()) and
test.getAnOperand().getStringValue() = old and