Module Private::SummaryComponent
Provides predicates for constructing summary components.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplPredicates
| argument | Gets a summary component for argument |
| element | Gets a summary component that represents an element in a collection. |
| field | Gets a summary component for field |
| parameter | Gets a summary component for parameter |
| property | Gets a summary component for property |
| qualifier | Gets a summary component that represents a qualifier. |
| return | Gets a summary component that represents the return value of a call. |
Aliases
| SyntheticGlobal | A synthetic global. This represents some form of global state, which summaries can read and write individually. |
| content | Gets a summary component for content |
| return | Gets a summary component for a return of kind |
| syntheticGlobal | Gets a summary component for synthetic global |