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

Member predicate DataFlowExtension::DataFlowNode::getAReturnSuccessorNode

Gets a successor node for data-flow with a change of context from callee to caller (going up the call-stack) across call-site call. Data (all forms) is assumed to flow from this to result Extensions to DataFlowNode should override this to provide additional taint steps.

ControlFlowNode getAReturnSuccessorNode(CallNode call)