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

Member predicate DataFlowExtension::DataFlowNode::getACalleeSuccessorNode

Gets a successor node for data-flow with a change of context from caller to callee (going down 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 getACalleeSuccessorNode(CallNode call)