Predicate Expressions::attributePointsTo
Import path
import semmle.python.pointsto.PointsTo
predicate attributePointsTo(AttrNode attr, PointsToContext context, ObjectInternal value, ControlFlowNode origin, ControlFlowNode obj, ObjectInternal objvalue)