Predicate Cached::readStepImpl

Holds if data can flow from node1 to node2 via a read of content c.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate readStepImpl(Node node1, Content c, Node node2)