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

Predicate SummaryComponentStack::fieldOf

Gets a stack representing a field f of object.

Import path

import semmle.code.csharp.dataflow.FlowSummary
SummaryComponentStack fieldOf(Field f, SummaryComponentStack object)