CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Predicate InterProceduralPointsTo::callsite_points_to

Points-to for a variable (possibly) redefined by a call: var = ...; foo(); use(var) Where var may be redefined in call to foo if var escapes (is global or non-local).

Import path

import semmle.python.pointsto.PointsTo
predicate callsite_points_to(CallsiteRefinement def, PointsToContext context, ObjectInternal value, CfgOrigin origin)