Python points-to: Cache objects.

markshannon · markshannon · commit 66ba1079f359 · 2019-05-31T16:26:43.000+01:00
diff --git a/python/ql/src/semmle/python/objects/TObject.qll b/python/ql/src/semmle/python/objects/TObject.qll
@@ -7,7 +7,7 @@ private import semmle.python.pointsto.PointsToContext
 /** Internal type backing `ObjectInternal` and `Value`
  * See `ObjectInternal.qll` for an explanation of the API.
  */
-newtype TObject =
+cached newtype TObject =
     /* Builtin class objects */
     TBuiltinClassObject(Builtin bltn) {
         bltn.isClass() and
