Predicate AttributePointsTo::definitionAttributePointsTo
Import path
import semmle.python.pointsto.PointsTo
predicate definitionAttributePointsTo(EssaDefinition def, Context context, string name, ObjectInternal value, CfgOrigin origin)
import semmle.python.pointsto.PointsTo
predicate definitionAttributePointsTo(EssaDefinition def, Context context, string name, ObjectInternal value, CfgOrigin origin)