Predicate Cached::simpleLocalFlowStep

This is the local flow predicate that is used as a building block in global data flow. It excludes SSA flow through instance fields, as flow through fields is handled by the global data-flow library, but includes various other steps that are only relevant for global flow.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo)