Python points-to: Prevent bad magic.

2026-04-30 19:26:02 +02:00 · 2019-05-17 14:04:57 +01:00
parent 8558cb3f2f
commit 685826e436
1 changed files with 1 additions and 0 deletions
--- a/python/ql/src/semmle/python/objects/ObjectInternal.qll
+++ b/python/ql/src/semmle/python/objects/ObjectInternal.qll
@@ -97,6 +97,7 @@ class ObjectInternal extends TObject {
     * for an object `x` the attribute `name` (`x.name`) may refer to a bound-method, an attribute of the 
     * instance, or an attribute of the class.
     */
+    pragma [nomagic]
    abstract predicate attribute(string name, ObjectInternal value, CfgOrigin origin);

    /** Holds if the attributes of this object are wholy or partly unknowable */