Python: Better handle calls on edge of context.

markshannon · markshannon · commit 6f1399be9b02 · 2019-06-25T16:15:39.000+01:00
diff --git a/python/ql/src/semmle/python/objects/Callables.qll b/python/ql/src/semmle/python/objects/Callables.qll
@@ -156,6 +156,8 @@ class PythonFunctionObjectInternal extends CallableObjectInternal, TPythonFuncti
         function = this and offset = 0
     }
 
+    override predicate contextSensitiveCallee() { any() }
+
 }
 
 
@@ -277,6 +279,8 @@ class BuiltinFunctionObjectInternal extends CallableObjectInternal, TBuiltinFunc
         function = this and offset = 0
     }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 /** Class representing methods of built-in classes (otherwise known as method-descriptors) such as `list.append`.
@@ -367,6 +371,8 @@ class BuiltinMethodObjectInternal extends CallableObjectInternal, TBuiltinMethod
         function = this and offset = 0
     }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 /** Class representing bound-methods.
@@ -422,7 +428,6 @@ class BoundMethodObjectInternal extends CallableObjectInternal, TBoundMethod {
         result = this.getFunction().getName()
     }
 
-
     override Function getScope() { 
         result = this.getFunction().getScope()
     }
@@ -453,8 +458,9 @@ class BoundMethodObjectInternal extends CallableObjectInternal, TBoundMethod {
         function = this.getFunction() and offset = 1
     }
 
-}
-
-
+    override predicate contextSensitiveCallee() {
+        this.getFunction().contextSensitiveCallee()
+    }
 
+}
 
diff --git a/python/ql/src/semmle/python/objects/Classes.qll b/python/ql/src/semmle/python/objects/Classes.qll
@@ -89,6 +89,9 @@ abstract class ClassObjectInternal extends ObjectInternal {
     }
 
     override predicate subscriptUnknown() { none() }
+
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 /** Class representing Python source classes */
diff --git a/python/ql/src/semmle/python/objects/Constants.qll b/python/ql/src/semmle/python/objects/Constants.qll
@@ -69,6 +69,8 @@ abstract class ConstantObjectInternal extends ObjectInternal {
 
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 private abstract class BooleanObjectInternal extends ConstantObjectInternal {
diff --git a/python/ql/src/semmle/python/objects/Descriptors.qll b/python/ql/src/semmle/python/objects/Descriptors.qll
@@ -91,6 +91,8 @@ class PropertyInternal extends ObjectInternal, TProperty {
         )
     }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 /** A class representing classmethods in Python */
@@ -176,6 +178,8 @@ class ClassMethodObjectInternal extends ObjectInternal, TClassMethod {
         result = this.getFunction().getName()
     }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 class StaticMethodObjectInternal extends ObjectInternal, TStaticMethod {
@@ -247,4 +251,6 @@ class StaticMethodObjectInternal extends ObjectInternal, TStaticMethod {
         result = this.getFunction().getName()
     }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
diff --git a/python/ql/src/semmle/python/objects/Instances.qll b/python/ql/src/semmle/python/objects/Instances.qll
@@ -51,6 +51,8 @@ abstract class InstanceObject extends ObjectInternal {
 
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 private predicate self_variable_reaching_init_exit(EssaVariable self) {
@@ -366,6 +368,8 @@ class UnknownInstanceInternal extends TUnknownInstance, ObjectInternal {
 
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 private int lengthFromClass(ClassObjectInternal cls) {
@@ -472,5 +476,7 @@ class SuperInstance extends TSuperInstance, ObjectInternal {
 
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
diff --git a/python/ql/src/semmle/python/objects/Modules.qll b/python/ql/src/semmle/python/objects/Modules.qll
@@ -52,6 +52,8 @@ abstract class ModuleObjectInternal extends ObjectInternal {
         any(PackageObjectInternal package).getInitModule() = this
     }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 /** A class representing built-in modules */
@@ -408,5 +410,7 @@ class AbsentModuleAttributeObjectInternal extends ObjectInternal, TAbsentModuleA
     /* We know what this is called, but not its innate name */
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
diff --git a/python/ql/src/semmle/python/objects/ObjectInternal.qll b/python/ql/src/semmle/python/objects/ObjectInternal.qll
@@ -167,6 +167,8 @@ class ObjectInternal extends TObject {
      */
     abstract string getName();
 
+    abstract predicate contextSensitiveCallee();
+
 }
 
 
@@ -249,6 +251,9 @@ class BuiltinOpaqueObjectInternal extends ObjectInternal, TBuiltinOpaqueObject {
     override string getName() {
         result = this.getBuiltin().getName()
     }
+
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 
@@ -326,6 +331,8 @@ class UnknownInternal extends ObjectInternal, TUnknown {
 
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 class UndefinedInternal extends ObjectInternal, TUndefined {
@@ -404,6 +411,8 @@ class UndefinedInternal extends ObjectInternal, TUndefined {
 
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 module ObjectInternal {
diff --git a/python/ql/src/semmle/python/objects/Sequences.qll b/python/ql/src/semmle/python/objects/Sequences.qll
@@ -32,6 +32,8 @@ abstract class SequenceObjectInternal extends ObjectInternal {
 
     override string getName() { none() }
 
+    override predicate contextSensitiveCallee() { none() }
+
 }
 
 abstract class TupleObjectInternal extends SequenceObjectInternal {
diff --git a/python/ql/src/semmle/python/pointsto/PointsTo.qll b/python/ql/src/semmle/python/pointsto/PointsTo.qll
@@ -839,6 +839,7 @@ module InterProceduralPointsTo {
             )
             or
             context.untrackableCall(f) and
+            func.contextSensitiveCallee() and
             value = ObjectInternal::unknown() and origin = f
             or
             exists(CfgOrigin orig |
diff --git a/python/ql/test/library-tests/PointsTo/decorators/Test.expected b/python/ql/test/library-tests/PointsTo/decorators/Test.expected
@@ -1,3 +1,52 @@
+| 1 | ControlFlowNode for functools | Module functools | test.py:1 |
+| 3 | ControlFlowNode for annotate | Function annotate | test.py:3 |
+| 4 | ControlFlowNode for inner | Function inner | test.py:4 |
+| 5 | ControlFlowNode for func | Function func1 | test.py:23 |
+| 6 | ControlFlowNode for func | Function func1 | test.py:23 |
+| 7 | ControlFlowNode for inner | Function inner | test.py:4 |
+| 9 | ControlFlowNode for wraps1 | Function wraps1 | test.py:9 |
+| 10 | ControlFlowNode for args | args | test.py:10 |
+| 10 | ControlFlowNode for wrapper | Function wrapper | test.py:10 |
+| 11 | ControlFlowNode for args | args | test.py:10 |
+| 13 | ControlFlowNode for wrapper | Function wrapper | test.py:10 |
+| 15 | ControlFlowNode for wraps2 | Function wraps2 | test.py:15 |
+| 16 | ControlFlowNode for func | Function func3 | test.py:31 |
+| 16 | ControlFlowNode for functools | Module functools | test.py:1 |
+| 17 | ControlFlowNode for args | args | test.py:17 |
+| 17 | ControlFlowNode for wrapper | Function wrapper | test.py:17 |
+| 18 | ControlFlowNode for args | args | test.py:17 |
+| 20 | ControlFlowNode for wrapper | Function wrapper | test.py:17 |
+| 22 | ControlFlowNode for annotate | Function annotate | test.py:3 |
+| 23 | ControlFlowNode for func1 | Function func1 | test.py:23 |
+| 26 | ControlFlowNode for wraps1 | Function wraps1 | test.py:9 |
+| 27 | ControlFlowNode for func2 | Function wrapper | test.py:10 |
+| 30 | ControlFlowNode for wraps2 | Function wraps2 | test.py:15 |
+| 31 | ControlFlowNode for func3 | Function wrapper | test.py:17 |
 | 41 | ControlFlowNode for func1 | Function func1 | test.py:23 |
 | 42 | ControlFlowNode for func2 | Function wrapper | test.py:10 |
 | 43 | ControlFlowNode for func3 | Function wrapper | test.py:17 |
+| 48 | ControlFlowNode for None | NoneType None | test.py:48 |
+| 48 | ControlFlowNode for register | Function register | test.py:48 |
+| 49 | ControlFlowNode for decorator | Function decorator | test.py:49 |
+| 50 | ControlFlowNode for callable | Builtin-function callable | test.py:50 |
+| 50 | ControlFlowNode for func | Function baz | test.py:72 |
+| 50 | ControlFlowNode for func | Function foo | test.py:60 |
+| 51 | ControlFlowNode for ValueError | builtin-class ValueError | test.py:51 |
+| 52 | ControlFlowNode for func | Function baz | test.py:72 |
+| 52 | ControlFlowNode for func | Function foo | test.py:60 |
+| 54 | ControlFlowNode for callable | Builtin-function callable | test.py:54 |
+| 54 | ControlFlowNode for name | Function bar | test.py:66 |
+| 54 | ControlFlowNode for name | NoneType None | test.py:48 |
+| 54 | ControlFlowNode for name | int 17 | test.py:59 |
+| 55 | ControlFlowNode for decorator | Function decorator | test.py:49 |
+| 55 | ControlFlowNode for name | Function bar | test.py:66 |
+| 57 | ControlFlowNode for decorator | Function decorator | test.py:49 |
+| 59 | ControlFlowNode for register | Function register | test.py:48 |
+| 60 | ControlFlowNode for foo | Function foo | test.py:60 |
+| 63 | ControlFlowNode for foo | Function foo | test.py:60 |
+| 65 | ControlFlowNode for register | Function register | test.py:48 |
+| 66 | ControlFlowNode for bar | Function bar | test.py:66 |
+| 69 | ControlFlowNode for bar | Function bar | test.py:66 |
+| 71 | ControlFlowNode for register | Function register | test.py:48 |
+| 72 | ControlFlowNode for baz | Function baz | test.py:72 |
+| 75 | ControlFlowNode for baz | Function baz | test.py:72 |
diff --git a/python/ql/test/library-tests/PointsTo/decorators/Test.ql b/python/ql/test/library-tests/PointsTo/decorators/Test.ql
@@ -1,11 +1,11 @@
 import python
 
-from ControlFlowNode f, Object o, ControlFlowNode x, int line
+// We don't care about the internals of functools which vary from
+// version to version, just the end result.
+from NameNode f, Object o, ControlFlowNode x, int line
 
 where f.refersTo(o, x) and
 f.getLocation().getFile().getBaseName() = "test.py" and
-// We don't care about the internals of functools which vary from
-// version to version, just the end result.
-line = f.getLocation().getStartLine() and line > 40
+line = f.getLocation().getStartLine()
 
 select line, f.toString(), o.toString(), x.getLocation().toString()
diff --git a/python/ql/test/library-tests/PointsTo/decorators/Values.expected b/python/ql/test/library-tests/PointsTo/decorators/Values.expected
@@ -0,0 +1,58 @@
+| test.py:5:9:5:12 | ControlFlowNode for func | runtime | Unknown value |
+| test.py:5:9:5:12 | ControlFlowNode for func | test.py:22 from import | Function func1 |
+| test.py:6:16:6:19 | ControlFlowNode for func | runtime | Unknown value |
+| test.py:6:16:6:19 | ControlFlowNode for func | test.py:22 from import | Function func1 |
+| test.py:7:12:7:16 | ControlFlowNode for inner | runtime | Function annotate.inner |
+| test.py:7:12:7:16 | ControlFlowNode for inner | test.py:22 from import | Function annotate.inner |
+| test.py:11:21:11:24 | ControlFlowNode for args | runtime | instance of tuple |
+| test.py:13:12:13:18 | ControlFlowNode for wrapper | runtime | Function wraps1.wrapper |
+| test.py:13:12:13:18 | ControlFlowNode for wrapper | test.py:26 from import | Function wraps1.wrapper |
+| test.py:16:6:16:14 | ControlFlowNode for functools | runtime | Module functools |
+| test.py:16:6:16:14 | ControlFlowNode for functools | test.py:30 from import | Module functools |
+| test.py:16:22:16:25 | ControlFlowNode for func | runtime | Unknown value |
+| test.py:16:22:16:25 | ControlFlowNode for func | test.py:30 from import | Function func3 |
+| test.py:18:21:18:24 | ControlFlowNode for args | runtime | instance of tuple |
+| test.py:20:12:20:18 | ControlFlowNode for wrapper | test.py:30 from import | Function wraps2.wrapper |
+| test.py:22:2:22:9 | ControlFlowNode for annotate | import | Function annotate |
+| test.py:26:2:26:7 | ControlFlowNode for wraps1 | import | Function wraps1 |
+| test.py:30:2:30:7 | ControlFlowNode for wraps2 | import | Function wraps2 |
+| test.py:41:1:41:5 | ControlFlowNode for func1 | import | Function func1 |
+| test.py:42:1:42:5 | ControlFlowNode for func2 | import | Function wraps1.wrapper |
+| test.py:43:1:43:5 | ControlFlowNode for func3 | import | Function wraps2.wrapper |
+| test.py:48:19:48:22 | ControlFlowNode for None | import | None |
+| test.py:50:16:50:23 | ControlFlowNode for callable | runtime | Builtin-function callable |
+| test.py:50:16:50:23 | ControlFlowNode for callable | test.py:55 from runtime | Builtin-function callable |
+| test.py:50:16:50:23 | ControlFlowNode for callable | test.py:59 from import | Builtin-function callable |
+| test.py:50:16:50:23 | ControlFlowNode for callable | test.py:71 from import | Builtin-function callable |
+| test.py:50:25:50:28 | ControlFlowNode for func | runtime | Unknown value |
+| test.py:50:25:50:28 | ControlFlowNode for func | test.py:55 from runtime | Unknown value |
+| test.py:50:25:50:28 | ControlFlowNode for func | test.py:59 from import | Function foo |
+| test.py:50:25:50:28 | ControlFlowNode for func | test.py:71 from import | Function baz |
+| test.py:51:19:51:28 | ControlFlowNode for ValueError | runtime | builtin-class ValueError |
+| test.py:51:19:51:28 | ControlFlowNode for ValueError | test.py:55 from runtime | builtin-class ValueError |
+| test.py:52:16:52:19 | ControlFlowNode for func | runtime | Unknown value |
+| test.py:52:16:52:19 | ControlFlowNode for func | test.py:55 from runtime | Unknown value |
+| test.py:52:16:52:19 | ControlFlowNode for func | test.py:59 from import | Function foo |
+| test.py:52:16:52:19 | ControlFlowNode for func | test.py:71 from import | Function baz |
+| test.py:54:8:54:15 | ControlFlowNode for callable | runtime | Builtin-function callable |
+| test.py:54:8:54:15 | ControlFlowNode for callable | test.py:59 from import | Builtin-function callable |
+| test.py:54:8:54:15 | ControlFlowNode for callable | test.py:65 from import | Builtin-function callable |
+| test.py:54:8:54:15 | ControlFlowNode for callable | test.py:71 from import | Builtin-function callable |
+| test.py:54:17:54:20 | ControlFlowNode for name | runtime | None |
+| test.py:54:17:54:20 | ControlFlowNode for name | runtime | Unknown value |
+| test.py:54:17:54:20 | ControlFlowNode for name | test.py:59 from import | int 17 |
+| test.py:54:17:54:20 | ControlFlowNode for name | test.py:65 from import | Function bar |
+| test.py:54:17:54:20 | ControlFlowNode for name | test.py:71 from import | None |
+| test.py:55:16:55:24 | ControlFlowNode for decorator | runtime | Function register.decorator |
+| test.py:55:16:55:24 | ControlFlowNode for decorator | test.py:65 from import | Function register.decorator |
+| test.py:55:26:55:29 | ControlFlowNode for name | runtime | Unknown value |
+| test.py:55:26:55:29 | ControlFlowNode for name | test.py:65 from import | Function bar |
+| test.py:57:16:57:24 | ControlFlowNode for decorator | runtime | Function register.decorator |
+| test.py:57:16:57:24 | ControlFlowNode for decorator | test.py:59 from import | Function register.decorator |
+| test.py:57:16:57:24 | ControlFlowNode for decorator | test.py:71 from import | Function register.decorator |
+| test.py:59:2:59:9 | ControlFlowNode for register | import | Function register |
+| test.py:63:1:63:3 | ControlFlowNode for foo | import | Function foo |
+| test.py:65:2:65:9 | ControlFlowNode for register | import | Function register |
+| test.py:69:1:69:3 | ControlFlowNode for bar | import | Function bar |
+| test.py:71:2:71:9 | ControlFlowNode for register | import | Function register |
+| test.py:75:1:75:3 | ControlFlowNode for baz | import | Function baz |
diff --git a/python/ql/test/library-tests/PointsTo/decorators/Values.ql b/python/ql/test/library-tests/PointsTo/decorators/Values.ql
@@ -0,0 +1,10 @@
+
+import python
+import semmle.python.pointsto.PointsTo
+import semmle.python.objects.ObjectInternal
+
+from NameNode f, Context ctx, ObjectInternal v
+where
+  f.getLocation().getFile().getBaseName() = "test.py" and
+  PointsTo::pointsTo(f, ctx, v, _)
+select f, ctx, v
diff --git a/python/ql/test/library-tests/PointsTo/decorators/test.py b/python/ql/test/library-tests/PointsTo/decorators/test.py
@@ -40,4 +40,36 @@ def func3():
 
 func1
 func2
-func3
+func3
+
+
+#Fancy decorators
+
+def register(name=None):
+    def decorator(func):
+        if not callable(func):
+            raise ValueError("not a callable")
+        return func
+
+    if callable(name):
+        return decorator(name)
+    else:
+        return decorator
+
+@register(17)
+def foo():
+    pass
+
+foo
+
+@register
+def bar():
+    pass
+
+bar()
+
+@register()
+def baz():
+    pass
+
+baz()

Original file line number	Diff line number	Diff line change
`@@ -156,6 +156,8 @@ class PythonFunctionObjectInternal extends CallableObjectInternal, TPythonFuncti`
`156`	`156`	`function = this and offset = 0`
`157`	`157`	`}`
`158`	`158`
	`159`	`+ override predicate contextSensitiveCallee() { any() }`
	`160`	`+`
`159`	`161`	`}`
`160`	`162`
`161`	`163`
`@@ -277,6 +279,8 @@ class BuiltinFunctionObjectInternal extends CallableObjectInternal, TBuiltinFunc`
`277`	`279`	`function = this and offset = 0`
`278`	`280`	`}`
`279`	`281`
	`282`	`+ override predicate contextSensitiveCallee() { none() }`
	`283`	`+`
`280`	`284`	`}`
`281`	`285`
`282`	`286`	/** Class representing methods of built-in classes (otherwise known as method-descriptors) such as `list.append`.
`@@ -367,6 +371,8 @@ class BuiltinMethodObjectInternal extends CallableObjectInternal, TBuiltinMethod`
`367`	`371`	`function = this and offset = 0`
`368`	`372`	`}`
`369`	`373`
	`374`	`+ override predicate contextSensitiveCallee() { none() }`
	`375`	`+`
`370`	`376`	`}`
`371`	`377`
`372`	`378`	`/** Class representing bound-methods.`
`@@ -422,7 +428,6 @@ class BoundMethodObjectInternal extends CallableObjectInternal, TBoundMethod {`
`422`	`428`	`result = this.getFunction().getName()`
`423`	`429`	`}`
`424`	`430`
`425`		`-`
`426`	`431`	`override Function getScope() {`
`427`	`432`	`result = this.getFunction().getScope()`
`428`	`433`	`}`
`@@ -453,8 +458,9 @@ class BoundMethodObjectInternal extends CallableObjectInternal, TBoundMethod {`
`453`	`458`	`function = this.getFunction() and offset = 1`
`454`	`459`	`}`
`455`	`460`
`456`		`-}`
`457`		`-`
`458`		`-`
	`461`	`+ override predicate contextSensitiveCallee() {`
	`462`	`+ this.getFunction().contextSensitiveCallee()`
	`463`	`+ }`
`459`	`464`
	`465`	`+}`
`460`	`466`
Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,9 @@ abstract class ClassObjectInternal extends ObjectInternal {`
`89`	`89`	`}`
`90`	`90`
`91`	`91`	`override predicate subscriptUnknown() { none() }`
	`92`	`+`
	`93`	`+ override predicate contextSensitiveCallee() { none() }`
	`94`	`+`
`92`	`95`	`}`
`93`	`96`
`94`	`97`	`/** Class representing Python source classes */`
Original file line number	Diff line number	Diff line change
`@@ -69,6 +69,8 @@ abstract class ConstantObjectInternal extends ObjectInternal {`
`69`	`69`
`70`	`70`	`override string getName() { none() }`
`71`	`71`
	`72`	`+ override predicate contextSensitiveCallee() { none() }`
	`73`	`+`
`72`	`74`	`}`
`73`	`75`
`74`	`76`	`private abstract class BooleanObjectInternal extends ConstantObjectInternal {`
Original file line number	Diff line number	Diff line change
`@@ -91,6 +91,8 @@ class PropertyInternal extends ObjectInternal, TProperty {`
`91`	`91`	`)`
`92`	`92`	`}`
`93`	`93`
	`94`	`+ override predicate contextSensitiveCallee() { none() }`
	`95`	`+`
`94`	`96`	`}`
`95`	`97`
`96`	`98`	`/** A class representing classmethods in Python */`
`@@ -176,6 +178,8 @@ class ClassMethodObjectInternal extends ObjectInternal, TClassMethod {`
`176`	`178`	`result = this.getFunction().getName()`
`177`	`179`	`}`
`178`	`180`
	`181`	`+ override predicate contextSensitiveCallee() { none() }`
	`182`	`+`
`179`	`183`	`}`
`180`	`184`
`181`	`185`	`class StaticMethodObjectInternal extends ObjectInternal, TStaticMethod {`
`@@ -247,4 +251,6 @@ class StaticMethodObjectInternal extends ObjectInternal, TStaticMethod {`
`247`	`251`	`result = this.getFunction().getName()`
`248`	`252`	`}`
`249`	`253`
	`254`	`+ override predicate contextSensitiveCallee() { none() }`
	`255`	`+`
`250`	`256`	`}`
Original file line number	Diff line number	Diff line change
`@@ -51,6 +51,8 @@ abstract class InstanceObject extends ObjectInternal {`
`51`	`51`
`52`	`52`	`override string getName() { none() }`
`53`	`53`
	`54`	`+ override predicate contextSensitiveCallee() { none() }`
	`55`	`+`
`54`	`56`	`}`
`55`	`57`
`56`	`58`	`private predicate self_variable_reaching_init_exit(EssaVariable self) {`
`@@ -366,6 +368,8 @@ class UnknownInstanceInternal extends TUnknownInstance, ObjectInternal {`
`366`	`368`
`367`	`369`	`override string getName() { none() }`
`368`	`370`
	`371`	`+ override predicate contextSensitiveCallee() { none() }`
	`372`	`+`
`369`	`373`	`}`
`370`	`374`
`371`	`375`	`private int lengthFromClass(ClassObjectInternal cls) {`
`@@ -472,5 +476,7 @@ class SuperInstance extends TSuperInstance, ObjectInternal {`
`472`	`476`
`473`	`477`	`override string getName() { none() }`
`474`	`478`
	`479`	`+ override predicate contextSensitiveCallee() { none() }`
	`480`	`+`
`475`	`481`	`}`
`476`	`482`
Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,8 @@ abstract class ModuleObjectInternal extends ObjectInternal {`
`52`	`52`	`any(PackageObjectInternal package).getInitModule() = this`
`53`	`53`	`}`
`54`	`54`
	`55`	`+ override predicate contextSensitiveCallee() { none() }`
	`56`	`+`
`55`	`57`	`}`
`56`	`58`
`57`	`59`	`/** A class representing built-in modules */`
`@@ -408,5 +410,7 @@ class AbsentModuleAttributeObjectInternal extends ObjectInternal, TAbsentModuleA`
`408`	`410`	`/* We know what this is called, but not its innate name */`
`409`	`411`	`override string getName() { none() }`
`410`	`412`
	`413`	`+ override predicate contextSensitiveCallee() { none() }`
	`414`	`+`
`411`	`415`	`}`
`412`	`416`
Original file line number	Diff line number	Diff line change
`@@ -167,6 +167,8 @@ class ObjectInternal extends TObject {`
`167`	`167`	`*/`
`168`	`168`	`abstract string getName();`
`169`	`169`
	`170`	`+ abstract predicate contextSensitiveCallee();`
	`171`	`+`
`170`	`172`	`}`
`171`	`173`
`172`	`174`
`@@ -249,6 +251,9 @@ class BuiltinOpaqueObjectInternal extends ObjectInternal, TBuiltinOpaqueObject {`
`249`	`251`	`override string getName() {`
`250`	`252`	`result = this.getBuiltin().getName()`
`251`	`253`	`}`
	`254`	`+`
	`255`	`+ override predicate contextSensitiveCallee() { none() }`
	`256`	`+`
`252`	`257`	`}`
`253`	`258`
`254`	`259`
`@@ -326,6 +331,8 @@ class UnknownInternal extends ObjectInternal, TUnknown {`
`326`	`331`
`327`	`332`	`override string getName() { none() }`
`328`	`333`
	`334`	`+ override predicate contextSensitiveCallee() { none() }`
	`335`	`+`
`329`	`336`	`}`
`330`	`337`
`331`	`338`	`class UndefinedInternal extends ObjectInternal, TUndefined {`
`@@ -404,6 +411,8 @@ class UndefinedInternal extends ObjectInternal, TUndefined {`
`404`	`411`
`405`	`412`	`override string getName() { none() }`
`406`	`413`
	`414`	`+ override predicate contextSensitiveCallee() { none() }`
	`415`	`+`
`407`	`416`	`}`
`408`	`417`
`409`	`418`	`module ObjectInternal {`
Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,8 @@ abstract class SequenceObjectInternal extends ObjectInternal {`
`32`	`32`
`33`	`33`	`override string getName() { none() }`
`34`	`34`
	`35`	`+ override predicate contextSensitiveCallee() { none() }`
	`36`	`+`
`35`	`37`	`}`
`36`	`38`
`37`	`39`	`abstract class TupleObjectInternal extends SequenceObjectInternal {`
Original file line number	Diff line number	Diff line change
`@@ -839,6 +839,7 @@ module InterProceduralPointsTo {`
`839`	`839`	`)`
`840`	`840`	`or`
`841`	`841`	`context.untrackableCall(f) and`
	`842`	`+ func.contextSensitiveCallee() and`
`842`	`843`	`value = ObjectInternal::unknown() and origin = f`
`843`	`844`	`or`
`844`	`845`	`exists(CfgOrigin orig \|`