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

markshannon · markshannon · commit 5644072a8ded · 2019-04-26T16:21:46.000+01:00
diff --git 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() {

Original file line number	Diff line number	Diff line change
`@@ -365,6 +365,8 @@ module ObjectInternal {`
`365`	`365`	`result = TBuiltinModuleObject(b)`
`366`	`366`	`or`
`367`	`367`	`result = TBuiltinMethodObject(b)`
	`368`	`+ or`
	`369`	`+ result = TBuiltinTuple(b)`
`368`	`370`	`}`
`369`	`371`
`370`	`372`	`ObjectInternal classMethod() {`