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

Module Make::DataFlowIntegration::WithState

Import path

import codeql.ssa.Ssa

Predicate signatures

guardChecksSig

Holds if the guard g validates the expression e upon evaluating to branch, blocking flow in the given state.

Parameters