Class Public :: RequiredSummaryComponentStack
A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
required |
Holds if the stack obtained by pushing |