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

Predicate SummaryComponentStack::propertyOf

Gets a stack representing a property p of object.

Import path

import semmle.code.csharp.dataflow.FlowSummary
SummaryComponentStack propertyOf(Property p, SummaryComponentStack object)