PointsToAbstractValueDomain

1 instantiation of PointsToAbstractValueDomain

Microsoft.CodeAnalysis.AnalyzerUtilities (1)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (1)

16public static PointsToAbstractValueDomain Default = new();

3 references to PointsToAbstractValueDomain

Microsoft.CodeAnalysis.AnalyzerUtilities (3)

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.cs (2)

23internal static readonly AbstractValueDomain<PointsToAbstractValue> ValueDomainInstance = PointsToAbstractValueDomain.Default; 77var analysisContext = PointsToAnalysisContext.Create(PointsToAbstractValueDomain.Default, wellKnownTypeProvider, cfg,

src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (1)

16public static PointsToAbstractValueDomain Default = new();