Predicate SummaryComponentStack::fieldOf
Gets a stack representing a field f of object.
Import path
import semmle.code.csharp.dataflow.FlowSummarySummaryComponentStack fieldOf(Field f, SummaryComponentStack object)Gets a stack representing a field f of object.
import semmle.code.csharp.dataflow.FlowSummarySummaryComponentStack fieldOf(Field f, SummaryComponentStack object)