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

Predicate InterProceduralPointsTo::scope_entry_value_transfer

Model the transfer of values at scope-entry points. Transfer from (pred_var, pred_context) to (succ_def, succ_context).

Import path

import semmle.python.pointsto.PointsTo
predicate scope_entry_value_transfer(EssaVariable pred_var, PointsToContext pred_context, ScopeEntryDefinition succ_def, PointsToContext succ_context)