8 overrides of GetAbstractDefaultValue
Microsoft.CodeAnalysis.AnalyzerUtilities (8)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)
97
protected override CopyAbstractValue
GetAbstractDefaultValue
(ITypeSymbol? type) => CopyAbstractValue.NotApplicable;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (1)
58
protected override DisposeAbstractValue
GetAbstractDefaultValue
(ITypeSymbol? type) => DisposeAbstractValue.NotDisposable;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateValueSetFlowOperationVisitor.cs (1)
58
protected sealed override GlobalFlowStateAnalysisValueSet
GetAbstractDefaultValue
(ITypeSymbol? type)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (1)
53
protected override ParameterValidationAbstractValue
GetAbstractDefaultValue
(ITypeSymbol? type) => ValueDomain.Bottom;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (1)
169
protected override PointsToAbstractValue
GetAbstractDefaultValue
(ITypeSymbol? type) => !PointsToAnalysis.ShouldBeTracked(type, IsDisposable) ? PointsToAbstractValue.NoLocation : PointsToAbstractValue.NullLocation;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (1)
90
protected override PropertySetAbstractValue
GetAbstractDefaultValue
(ITypeSymbol? type) => ValueDomain.Bottom;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (1)
66
protected override TaintedDataAbstractValue
GetAbstractDefaultValue
(ITypeSymbol? type)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (1)
67
protected override ValueContentAbstractValue
GetAbstractDefaultValue
(ITypeSymbol? type)
3 references to GetAbstractDefaultValue
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (3)
367
return (
GetAbstractDefaultValue
(method.ReturnType), PredicateValueKind.Unknown);
3054
return
GetAbstractDefaultValue
(operation.Type);
3700
return
GetAbstractDefaultValue
(operation.Type);