From 89e5a9bd728e4f48ad0a3adc31dd0ad374da6a2f Mon Sep 17 00:00:00 2001 From: yoff Date: Thu, 26 Feb 2026 13:14:26 +0100 Subject: [PATCH] Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll Co-authored-by: Taus --- .../lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll index 89c5c2d8116..8612d4a253e 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll @@ -617,7 +617,7 @@ ControlFlowNode guardNode(ConditionBlock conditionBlock, boolean flipped) { ( // comparing to the boolean (op instanceof Eq or op instanceof Is) and - // we shoould flip if the value compared against, here the value of `b`, is false + // we should flip if the value compared against, here the value of `b`, is false should_flip = b.getNode().(BooleanLiteral).booleanValue().booleanNot() or // comparing to the negation of the boolean