Predicate SummaryComponentStack::syntheticGlobal
Gets a singleton stack representing a synthetic global with name name.
Import path
import semmle.code.csharp.dataflow.FlowSummarySummaryComponentStack syntheticGlobal(string synthetic)Gets a singleton stack representing a synthetic global with name name.
import semmle.code.csharp.dataflow.FlowSummarySummaryComponentStack syntheticGlobal(string synthetic)