PropertySetAbstractValue

5 instantiations of PropertySetAbstractValue

Microsoft.CodeAnalysis.NetAnalyzers (5)

src\11b41c7305441175\PropertySetAbstractValue.cs (3)

29public static readonly PropertySetAbstractValue Unknown = new(); 51return new PropertySetAbstractValue(propertyAbstractValues.ToImmutable()); 63return new PropertySetAbstractValue(propertyAbstractValues);

src\11b41c7305441175\PropertySetAbstractValue.ValuePool.cs (2)

44this.OneDimensionalPool[i] = new PropertySetAbstractValue( 63this.TwoDimensionalPool[i, j] = new PropertySetAbstractValue(

114 references to PropertySetAbstractValue

Microsoft.CodeAnalysis.NetAnalyzers (114)

Microsoft.NetCore.Analyzers\Security\DoNotDisableHttpClientCRLCheck.cs (2)

69return PropertySetAbstractValue.GetInstance(PropertySetAbstractValueKind.Flagged, PropertySetAbstractValueKind.Flagged); 94(IMethodSymbol methodSymbol, PropertySetAbstractValue abstractValue) =>

Microsoft.NetCore.Analyzers\Security\DoNotInstallRootCert.cs (2)

61private static HazardousUsageEvaluationResult HazardousUsageCallback(IMethodSymbol methodSymbol, PropertySetAbstractValue propertySetAbstractValue) 119return PropertySetAbstractValue.GetInstance(kind);

Microsoft.NetCore.Analyzers\Security\DoNotUseCreateEncryptorWithNonDefaultIV.cs (2)

57return PropertySetAbstractValue.GetInstance(PropertySetAbstractValueKind.Unflagged); 71(IMethodSymbol methodSymbol, PropertySetAbstractValue abstractValue) =>

Microsoft.NetCore.Analyzers\Security\DoNotUseInsecureDeserializerJavascriptSerializerWithSimpleTypeResolver.cs (2)

63private static HazardousUsageEvaluationResult HazardousUsageCallback(IMethodSymbol methodSymbol, PropertySetAbstractValue propertySetAbstractValue) 153return PropertySetAbstractValue.GetInstance(kind);

Microsoft.NetCore.Analyzers\Security\DoNotUseInsecureDeserializerJsonNetWithoutBinder.cs (2)

75return PropertySetAbstractValue.GetInstance( 82return PropertySetAbstractValue.GetInstance(

Microsoft.NetCore.Analyzers\Security\DoNotUseInsecureSettingsForJsonNet.cs (2)

74return PropertySetAbstractValue.GetInstance( 81return PropertySetAbstractValue.GetInstance(

Microsoft.NetCore.Analyzers\Security\DoNotUseWeakKDFInsufficientIterationCount.cs (2)

59private static HazardousUsageEvaluationResult HazardousUsageCallback(IMethodSymbol methodSymbol, PropertySetAbstractValue propertySetAbstractValue) 112return PropertySetAbstractValue.GetInstance(kind);

Microsoft.NetCore.Analyzers\Security\SetHttpOnlyForHttpCookie.cs (1)

46return PropertySetAbstractValue.GetInstance(PropertySetAbstractValueKind.Flagged);

Microsoft.NetCore.Analyzers\Security\UseSecureCookiesASPNetCore.cs (1)

66private static HazardousUsageEvaluationResult HazardousUsageCallback(IMethodSymbol methodSymbol, PropertySetAbstractValue propertySetAbstractValue)

src\11b41c7305441175\HazardousUsageEvaluator.cs (7)

10/// Determines if usage of a <see cref="PropertySetAbstractValue"/> is hazardous or not. 17/// Evaluates if the method invocation with a given <see cref="PropertySetAbstractValue"/> is hazardous or not. 22public delegate HazardousUsageEvaluationResult InvocationEvaluationCallback(IMethodSymbol methodSymbol, PropertySetAbstractValue propertySetAbstractValue); 25/// Evaluates if a given <see cref="PropertySetAbstractValue"/> is hazardous or not. 29public delegate HazardousUsageEvaluationResult EvaluationCallback(PropertySetAbstractValue propertySetAbstractValue); 104/// Evaluates if the method invocation with a given <see cref="PropertySetAbstractValue"/> is hazardous or not. 114/// Evaluates if the return statement or initialization value with a given <see cref="PropertySetAbstractValue"/> is hazardous or not.

src\11b41c7305441175\PropertySetAbstractValue.cs (9)

29public static readonly PropertySetAbstractValue Unknown = new(); 33public static PropertySetAbstractValue GetInstance(PropertySetAbstractValueKind v1) 38public static PropertySetAbstractValue GetInstance(PropertySetAbstractValueKind v1, PropertySetAbstractValueKind v2) 43public static PropertySetAbstractValue GetInstance(ArrayBuilder<PropertySetAbstractValueKind> propertyAbstractValues) 45if (TryGetPooledInstance(propertyAbstractValues, out PropertySetAbstractValue? instance)) 55public static PropertySetAbstractValue GetInstance(ImmutableArray<PropertySetAbstractValueKind> propertyAbstractValues) 57if (TryGetPooledInstance(propertyAbstractValues, out PropertySetAbstractValue? instance)) 67private static bool TryGetPooledInstance(IReadOnlyList<PropertySetAbstractValueKind> values, [NotNullWhen(returnValue: true)] out PropertySetAbstractValue? instance) 151internal PropertySetAbstractValue ReplaceAt(int index, PropertySetAbstractValueKind kind)

src\11b41c7305441175\PropertySetAbstractValue.ValuePool.cs (7)

19private readonly PropertySetAbstractValue[] OneDimensionalPool; 24private readonly PropertySetAbstractValue[,] TwoDimensionalPool; 35this.OneDimensionalPool = new PropertySetAbstractValue[values.Length]; 40this.OneDimensionalPool[i] = PropertySetAbstractValue.Unknown; 49this.TwoDimensionalPool = new PropertySetAbstractValue[values.Length, values.Length]; 72public PropertySetAbstractValue GetInstance(PropertySetAbstractValueKind v1) 77public PropertySetAbstractValue GetInstance(PropertySetAbstractValueKind v1, PropertySetAbstractValueKind v2)

src\11b41c7305441175\PropertySetAnalysis.PropertySetAbstractValueDomain.cs (12)

13/// Abstract value domain for <see cref="PropertySetAnalysis"/> to merge and compare <see cref="PropertySetAbstractValue"/> values. 15private class PropertySetAbstractValueDomain : AbstractValueDomain<PropertySetAbstractValue> 21public override PropertySetAbstractValue Bottom => PropertySetAbstractValue.Unknown; 23public override PropertySetAbstractValue UnknownOrMayBeValue => PropertySetAbstractValue.Unknown; 25public override int Compare(PropertySetAbstractValue oldValue, PropertySetAbstractValue newValue, bool assertMonotonicity) 56public override PropertySetAbstractValue Merge(PropertySetAbstractValue value1, PropertySetAbstractValue value2) 68return PropertySetAbstractValue.GetInstance(builder);

src\11b41c7305441175\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (36)

21using PropertySetAnalysisData = DictionaryAnalysisData<AbstractLocation, PropertySetAbstractValue>; 29AbstractLocationDataFlowOperationVisitor<PropertySetAnalysisData, PropertySetAnalysisContext, PropertySetAnalysisResult, PropertySetAbstractValue> 89protected override PropertySetAbstractValue GetAbstractDefaultValue(ITypeSymbol? type) => ValueDomain.Bottom; 93protected override PropertySetAbstractValue GetAbstractValue(AbstractLocation location) 94=> this.CurrentAnalysisData.TryGetValue(location, out var value) ? value : ValueDomain.Bottom; 100protected override void SetAbstractValue(AbstractLocation location, PropertySetAbstractValue value) 102if (value != PropertySetAbstractValue.Unknown 132protected override void SetAbstractValueForArrayElementInitializer(IArrayCreationOperation arrayCreation, ImmutableArray<AbstractIndex> indices, ITypeSymbol elementType, IOperation initializer, PropertySetAbstractValue value) 136protected override void SetAbstractValueForAssignment(IOperation target, IOperation? assignedValueOperation, PropertySetAbstractValue assignedValue, bool mayBeAssignment = false) 140protected override void SetAbstractValueForTupleElementAssignment(AnalysisEntity tupleElementEntity, IOperation assignedValueOperation, PropertySetAbstractValue assignedValue) 144public override PropertySetAbstractValue VisitObjectCreation(IObjectCreationOperation operation, object? argument) 146PropertySetAbstractValue abstractValue = base.VisitObjectCreation(operation, argument); 155abstractValue = PropertySetAbstractValue.GetInstance(constructorMapper.PropertyAbstractValues); 203(PropertySetAbstractValue abstractValue) => hazardousUsageEvaluator.InvocationEvaluator!( 212protected override PropertySetAbstractValue VisitAssignmentOperation(IAssignmentOperation operation, object? argument) 214PropertySetAbstractValue? baseValue = base.VisitAssignmentOperation(operation, argument); 311PropertySetAbstractValue propertySetAbstractValue = this.GetAbstractValue(location); 326return baseValue ?? PropertySetAbstractValue.Unknown.ReplaceAt(index, propertySetAbstractValueKind); 384out var propertySetAbstractValue)) 386propertySetAbstractValue = PropertySetAbstractValue.Unknown; 414initializationHazardousUsageEvaluator?.ValueEvaluator!(PropertySetAbstractValue.Unknown); 453public override PropertySetAbstractValue VisitInvocation_NonLambdaOrDelegateOrLocalFunction(IMethodSymbol method, IOperation? visitedInstance, ImmutableArray<IArgumentOperation> visitedArguments, bool invokedAsDelegate, IOperation originalOperation, PropertySetAbstractValue defaultValue) 455PropertySetAbstractValue baseValue = base.VisitInvocation_NonLambdaOrDelegateOrLocalFunction(method, visitedInstance, visitedArguments, invokedAsDelegate, originalOperation, defaultValue); 468(PropertySetAbstractValue abstractValue) => argumentHazardousUsageEvaluator.ValueEvaluator!(abstractValue)); 492(PropertySetAbstractValue abstractValue) => hazardousUsageEvaluator!.InvocationEvaluator!(method, abstractValue)); 595Func<PropertySetAbstractValue, HazardousUsageEvaluationResult> evaluationFunction, 596Func<AbstractLocation, PropertySetAbstractValue>? locationToAbstractValueMapping = null) 604PropertySetAbstractValue locationAbstractValue = locationToAbstractValueMapping(location); 632public override PropertySetAbstractValue VisitInvocation_LocalFunction(IMethodSymbol localFunction, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, PropertySetAbstractValue defaultValue) 634PropertySetAbstractValue baseValue = base.VisitInvocation_LocalFunction(localFunction, visitedArguments, originalOperation, defaultValue); 640public override PropertySetAbstractValue VisitInvocation_Lambda(IFlowAnonymousFunctionOperation lambda, ImmutableArray<IArgumentOperation> visitedArguments, IOperation originalOperation, PropertySetAbstractValue defaultValue) 642PropertySetAbstractValue baseValue = base.VisitInvocation_Lambda(lambda, visitedArguments, originalOperation, defaultValue); 661(PropertySetAbstractValue abstractValue) => hazardousUsageEvaluator.ValueEvaluator!(abstractValue));

src\11b41c7305441175\PropertySetAnalysisContext.cs (7)

18using InterproceduralPropertySetAnalysisData = InterproceduralAnalysisData<DictionaryAnalysisData<AbstractLocation, PropertySetAbstractValue>, PropertySetAnalysisContext, PropertySetAbstractValue>; 19using PropertySetAnalysisData = DictionaryAnalysisData<AbstractLocation, PropertySetAbstractValue>; 25internal sealed class PropertySetAnalysisContext : AbstractDataFlowAnalysisContext<PropertySetAnalysisData, PropertySetAnalysisContext, PropertySetAnalysisResult, PropertySetAbstractValue> 28AbstractValueDomain<PropertySetAbstractValue> valueDomain, 71AbstractValueDomain<PropertySetAbstractValue> valueDomain, 167protected override bool ComputeEqualsByHashCodeParts(AbstractDataFlowAnalysisContext<PropertySetAnalysisData, PropertySetAnalysisContext, PropertySetAnalysisResult, PropertySetAbstractValue> obj)

src\11b41c7305441175\PropertySetAnalysisResult.cs (2)

14internal sealed class PropertySetAnalysisResult : DataFlowAnalysisResult<PropertySetBlockAnalysisResult, PropertySetAbstractValue> 17DataFlowAnalysisResult<PropertySetBlockAnalysisResult, PropertySetAbstractValue> propertySetAnalysisResult,

src\11b41c7305441175\PropertySetBlockAnalysisResult.cs (4)

10using PropertySetAnalysisData = DictionaryAnalysisData<AbstractLocation, PropertySetAbstractValue>; 14/// It stores <see cref="PropertySetAbstractValue"/>s for each <see cref="AbstractLocation"/> at the start and end of the basic block. 21Data = blockAnalysisData?.ToImmutableDictionary() ?? ImmutableDictionary<AbstractLocation, PropertySetAbstractValue>.Empty; 24public ImmutableDictionary<AbstractLocation, PropertySetAbstractValue> Data { get; }

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\ConstructorMapper.cs (4)

21/// Mapping a constructor's arguments to a <see cref="PropertySetAbstractValue"/>. 27public delegate PropertySetAbstractValue ValueContentAbstractValueCallback( 33/// Mapping a constructor's arguments to a <see cref="PropertySetAbstractValue"/>. 38public delegate PropertySetAbstractValue PointsToAbstractValueCallback(

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.cs (5)

19using PropertySetAnalysisData = DictionaryAnalysisData<AbstractLocation, PropertySetAbstractValue>; 20using PropertySetAnalysisDomain = MapAbstractDomain<AbstractLocation, PropertySetAbstractValue>; 24/// Dataflow analysis to track <see cref="PropertySetAbstractValue"/> of <see cref="AbstractLocation"/>/<see cref="IOperation"/> instances. 26internal partial class PropertySetAnalysis : ForwardDataFlowAnalysis<PropertySetAnalysisData, PropertySetAnalysisContext, PropertySetAnalysisResult, PropertySetBlockAnalysisResult, PropertySetAbstractValue> 313DataFlowAnalysisResult<PropertySetBlockAnalysisResult, PropertySetAbstractValue> dataFlowAnalysisResult)

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetCallbacks.cs (5)

121PropertySetAbstractValue propertySetAbstractValue) 134PropertySetAbstractValue propertySetAbstractValue) 151PropertySetAbstractValue propertySetAbstractValue) 168PropertySetAbstractValue propertySetAbstractValue) 179PropertySetAbstractValue propertySetAbstractValue,