Predicate LocalFlow::usesInstanceField
Holds if the source variable of SSA definition def is an instance field.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate usesInstanceField(DefinitionExt def)Holds if the source variable of SSA definition def is an instance field.
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate usesInstanceField(DefinitionExt def)