CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Member predicate UndefinedInternal::attribute

Holds if the result of getting the attribute name is value and that value comes from origin. Note this is not the same as class lookup. For example 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.

predicate attribute(string name, ObjectInternal value, CfgOrigin origin)