NullAbstractValueDomain

1 instantiation of NullAbstractValueDomain

Microsoft.CodeAnalysis.NetAnalyzers (1)

src\ffd9070534249528\PointsToAnalysis.NullAbstractValueDomain.cs (1)

15public static NullAbstractValueDomain Default = new();

3 references to NullAbstractValueDomain

Microsoft.CodeAnalysis.NetAnalyzers (3)

src\ffd9070534249528\PointsToAnalysis.NullAbstractValueDomain.cs (1)

15public static NullAbstractValueDomain Default = new();

src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (2)

36var nullCompareResult = NullAbstractValueDomain.Default.Compare(oldValue.NullState, newValue.NullState); 136var mergedNullState = NullAbstractValueDomain.Default.Merge(value1.NullState, value2.NullState);