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

Predicate Make::Private::External::SourceSinkInterpretation::isBarrierGuardNode

Holds if node is specified as a barrier guard argument with the given kind in a MaD flow model.

Import path

import codeql.dataflow.internal.FlowSummaryImpl
predicate isBarrierGuardNode(InterpretNode node, AcceptingValue acceptingValue, string kind, string model)