CodeQL library for Python
codeql/python-all 0.10.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 )