python: support encoding lower bound

2026-04-25 08:45:14 +02:00 · 2024-03-08 14:59:28 +01:00
parent 580e68d5de
commit 3601773856
1 changed files with 5 additions and 0 deletions
--- a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll
@@ -27,6 +27,11 @@ module Input implements InputSig<DataFlowImplSpecific::PythonDataFlow> {
      result = i.toString()
    )
    or
+    exists(int i |
+      pos.isPositionalLowerBound(i) and
+      result = i + ".."
+    )
+    or
    exists(string name |
      pos.isKeyword(name) and
      result = name + ":"