1 instantiation of PointsToAbstractValueDomain
Microsoft.CodeAnalysis.NetAnalyzers (1)
src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (1)
15public static PointsToAbstractValueDomain Default = new();
3 references to PointsToAbstractValueDomain
Microsoft.CodeAnalysis.NetAnalyzers (3)
src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (1)
15public static PointsToAbstractValueDomain Default = new();
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.cs (2)
22internal static readonly AbstractValueDomain<PointsToAbstractValue> ValueDomainInstance = PointsToAbstractValueDomain.Default; 76var analysisContext = PointsToAnalysisContext.Create(PointsToAbstractValueDomain.Default, wellKnownTypeProvider, cfg,