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

Predicate SsaSource::test_refinement

Holds if the set of possible values for v is refined by test and use is the use of v in that test.

Import path

import python
predicate test_refinement(Variable v, ControlFlowNode use, ControlFlowNode test)