Predicate ModuleAttributes :: attributePointsTo
Import path
import semmle.python.pointsto.PointsTo
predicate
attributePointsTo
(
EssaVariable
var
,
string
name
,
ObjectInternal
value
,
CfgOrigin
origin
)