ValueDomain

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

321SetAbstractValue(analysisEntity, ValueDomain.UnknownOrMayBeValue);

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

62protected override DisposeAbstractValue GetAbstractValue(AbstractLocation location) => CurrentAnalysisData.TryGetValue(location, out var value) ? value : ValueDomain.UnknownOrMayBeValue; 185SetAbstractValue(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)

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

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

775return ValueDomain.UnknownOrMayBeValue; 881return arrayCreation != null ? GetCachedAbstractValue(arrayCreation) : ValueDomain.UnknownOrMayBeValue;

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

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

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

104this.CurrentAnalysisData.Reset(this.ValueDomain.UnknownOrMayBeValue); 143return ValueDomain.UnknownOrMayBeValue; 149return ValueDomain.UnknownOrMayBeValue; 168this.SetAbstractValue(analysisEntity, ValueDomain.UnknownOrMayBeValue); 209return ValueDomain.UnknownOrMayBeValue; 219return ValueDomain.UnknownOrMayBeValue; 228return !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)

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

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