CodeQL library for C#

codeql/csharp-all 0.8.3 (changelog, source)

Module SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Import path

import semmle.code.csharp.dataflow.FlowSummary

Predicates

argument	Gets a singleton stack for argument `i`.
elementOf	Gets a stack representing an element of `container`.
fieldOf	Gets a stack representing a field `f` of `object`.
getComponentStack	DEPRECATED: Use the member predicate `getMadRepresentation` instead.
propertyOf	Gets a stack representing a property `p` of `object`.
qualifier	Gets a singleton stack representing a qualifier.
return	Gets a singleton stack representing the return value of a call.
syntheticGlobal	Gets a singleton stack representing a synthetic global with name `name`.

Aliases

push	Gets the stack obtained by pushing `head` onto `tail`.
return	Gets a singleton stack representing a return of kind `rk`.
singleton	Gets a singleton stack containing `c`.