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

Member predicate SummarizedCallable::propagatesFlowExt

Same as

propagatesFlow(
  SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue
)

but uses an external (string) representation of the input and output stacks.

predicate propagatesFlowExt(string input, string output, boolean preservesValue)