CodeQL library for Python
Search

Member predicate Assign::defines

Use ControlFlowNodes and SsaVariables for data-flow analysis.

predicate defines(Variable v)