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

Predicate signature guardChecksSig

Holds if the guard g validates node upon evaluating to branch.

The expression e is expected to be a syntactic part of the guard g. For example, the guard g might be a call isSafe(x) and the expression e the argument x.

Import path

import semmle.python.dataflow.new.internal.DataFlowPublic
signature predicate guardChecksSig(GuardNode g, ControlFlowNode node, boolean branch)