ValueDomain

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)

322SetAbstractValue(analysisEntity, ValueDomain.UnknownOrMayBeValue);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (2)

60protected override DisposeAbstractValue GetAbstractValue(AbstractLocation location) => CurrentAnalysisData.TryGetValue(location, out var value) ? value : ValueDomain.UnknownOrMayBeValue; 183SetAbstractValue(escapedDisposableLocations, ValueDomain.UnknownOrMayBeValue);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateDataFlowOperationVisitor.cs (3)

82input[GlobalEntity] = ValueDomain.Bottom; 116=> CurrentAnalysisData.TryGetValue(analysisEntity, out var value) ? value : ValueDomain.UnknownOrMayBeValue; 131=> SetAbstractValue(analysisEntity, ValueDomain.UnknownOrMayBeValue);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (2)

53protected override ParameterValidationAbstractValue GetAbstractDefaultValue(ITypeSymbol? type) => ValueDomain.Bottom; 58=> CurrentAnalysisData.TryGetValue(location, out var value) ? value : ValueDomain.Bottom;

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

773return ValueDomain.UnknownOrMayBeValue; 879return arrayCreation != null ? GetCachedAbstractValue(arrayCreation) : ValueDomain.UnknownOrMayBeValue;

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (2)

90protected override PropertySetAbstractValue GetAbstractDefaultValue(ITypeSymbol? type) => ValueDomain.Bottom; 95=> this.CurrentAnalysisData.TryGetValue(location, out var value) ? value : ValueDomain.Bottom;

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (7)

103this.CurrentAnalysisData.Reset(this.ValueDomain.UnknownOrMayBeValue); 142return ValueDomain.UnknownOrMayBeValue; 148return ValueDomain.UnknownOrMayBeValue; 167this.SetAbstractValue(analysisEntity, ValueDomain.UnknownOrMayBeValue); 208return ValueDomain.UnknownOrMayBeValue; 218return ValueDomain.UnknownOrMayBeValue; 227return !operation.Conversion.IsUserDefined ? operandValue : ValueDomain.UnknownOrMayBeValue;

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (4)

35=> SetAbstractValue(analysisEntity, ValueDomain.UnknownOrMayBeValue); 65=> CurrentAnalysisData.TryGetValue(analysisEntity, out var value) ? value : ValueDomain.UnknownOrMayBeValue; 76=> CurrentAnalysisData.Reset(ValueDomain.UnknownOrMayBeValue); 221return ValueDomain.UnknownOrMayBeValue;

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractLocationDataFlowOperationVisitor.cs (2)

78SetAbstractValue(instanceLocation, ValueDomain.UnknownOrMayBeValue); 127SetAbstractValue(key, ValueDomain.UnknownOrMayBeValue);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityDataFlowOperationVisitor.cs (5)

227assignedValue = ValueDomain.UnknownOrMayBeValue; 231assignedValue = ValueDomain.Merge(GetAbstractValue(targetAnalysisEntity), assignedValue); 314protected virtual TAbstractAnalysisValue GetDefaultValueForParameterOnEntry(IParameterSymbol parameter, AnalysisEntity analysisEntity) => ValueDomain.UnknownOrMayBeValue; 315protected virtual TAbstractAnalysisValue GetDefaultValueForParameterOnExit(ITypeSymbol parameterType) => ValueDomain.UnknownOrMayBeValue; 782var assignedValue = assignedValueEntity != null ? GetAbstractValue(assignedValueEntity) : ValueDomain.UnknownOrMayBeValue;

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (1)

169OperationVisitor.TaskWrappedValuesMap, cfg, OperationVisitor.ValueDomain.UnknownOrMayBeValue);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (23)