Predicate getAnExplicitDefinitionRead
Gets a node that reads src
via an SSA explicit definition.
Import path
import semmle.code.csharp.dataflow.internal.rangeanalysis.SsaUtils
Gets a node that reads src
via an SSA explicit definition.
import semmle.code.csharp.dataflow.internal.rangeanalysis.SsaUtils