CodeQL library for Python
Search

Predicate refinement_test

Holds if test is a test (a branch), use is within that test and def is an edge from that test with sense

Import path

import python
predicate refinement_test(ControlFlowNode test, ControlFlowNode use, boolean sense, PyEdgeRefinement def)