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

Predicate MakeImpl::Impl::Stage1::parameterMayFlowThrough

Holds if flow may enter through p and reach a return node making p a candidate for the origin of a summary.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate parameterMayFlowThrough(ParamNodeEx p, Ap ap)