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

Predicate SsaSource::argument_refinement

Holds if a v is used as an argument to call, which may modify the object referred to by v

Import path

import python
predicate argument_refinement(Variable v, ControlFlowNode use, CallNode call)