CodeQL library for C/C++
codeql/cpp-all 2.0.2 (changelog, source)
Search

Predicate MakeImplCommon::Cached::localFlowStepExImpl

Holds if data can flow in one local step from node1 to node2.

Import path

import codeql.dataflow.internal.DataFlowImplCommon
predicate localFlowStepExImpl(NodeEx node1, NodeEx node2, string model)