Predicate SourceVariableImpl::isPlainFieldOrPropAccess
Holds if fpa is an access inside callable c of this-qualified or
static field or property fp.
Import path
import semmle.code.csharp.dataflow.internal.SsaImplpredicate isPlainFieldOrPropAccess(FieldOrPropAccess fpa, FieldOrProp fp, Callable c)