CodeQL library for C#
codeql/csharp-all 0.10.1 (changelog, source)
Search

Predicate SourceVariableImpl::trackFieldOrProp

Holds if fp is a field or a property that is interesting as a basis for SSA.

  • A volatile field is never interesting, since all reads must reread from memory and we are forced to assume that the value can change at any point.
  • A property is only interesting if it is “field-like”, that is, it is a non-overridable trivial property.

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl
predicate trackFieldOrProp(FieldOrProp fp)