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