Python points-to: make sure builtin tuples are visible.

2026-04-30 11:15:13 +02:00 · 2019-04-08 18:05:05 +01:00
parent b47c2dd083
commit 5644072a8d
1 changed files with 2 additions and 0 deletions
--- a/python/ql/src/semmle/python/objects/ObjectInternal.qll
+++ b/python/ql/src/semmle/python/objects/ObjectInternal.qll
@@ -365,6 +365,8 @@ module ObjectInternal {
        result = TBuiltinModuleObject(b)
        or
        result = TBuiltinMethodObject(b)
+        or
+        result = TBuiltinTuple(b)
    }

    ObjectInternal classMethod() {