Predicate PointsToInternal::attributeRequired

Holds if the attribute name is required for obj For object x and attribute name it means that there exists somewhere in the code x.name or getattr(x, "name").

Import path

import semmle.python.pointsto.PointsTo

predicate attributeRequired(ObjectInternal obj, string name)