Predicate ModuleAttributes::pointsToAtExit
Import path
import semmle.python.pointsto.PointsTopredicate pointsToAtExit(Module mod, string name, ObjectInternal value, CfgOrigin origin)import semmle.python.pointsto.PointsTopredicate pointsToAtExit(Module mod, string name, ObjectInternal value, CfgOrigin origin)