67 references to PointsToAbstractValueKind
Microsoft.CodeAnalysis.NetAnalyzers (67)
Microsoft.CodeQuality.Analyzers\QualityGuidelines\AvoidMultipleEnumerations\AvoidMultipleEnumerations.DataFlowOperationVisitor.cs (2)
65if (pointToResult.Kind != PointsToAbstractValueKind.KnownLocations) 178if (result.Kind != PointsToAbstractValueKind.KnownLocations || result.Locations.IsEmpty)
Microsoft.NetCore.Analyzers\Security\DoNotUseInsecureDeserializerJavascriptSerializerWithSimpleTypeResolver.cs (6)
110case PointsToAbstractValueKind.Invalid: 111case PointsToAbstractValueKind.UnknownNull: 112case PointsToAbstractValueKind.Undefined: 116case PointsToAbstractValueKind.KnownLocations: 136case PointsToAbstractValueKind.UnknownNotNull: 137case PointsToAbstractValueKind.Unknown:
src\11b41c7305441175\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (6)
250if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations) 257else if (pointsToAbstractValue.Kind is PointsToAbstractValueKind.Unknown 258or PointsToAbstractValueKind.UnknownNotNull) 363if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations) 408else if (pointsToAbstractValue.Kind is PointsToAbstractValueKind.Unknown 409or PointsToAbstractValueKind.UnknownNotNull)
src\47c588c5b8785708\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (1)
116if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations)
src\9382845807600969\AnalysisEntityDataFlowOperationVisitor.cs (2)
435if (instanceLocation == null || instanceLocation.Kind == PointsToAbstractValueKind.Unknown) 631=> pointsToValue.Kind == PointsToAbstractValueKind.KnownLocations &&
src\afc74d572e54ec72\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (1)
403if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations &&
src\ffd9070534249528\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (1)
38=> value.Kind == PointsToAbstractValueKind.Unknown ||
src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (16)
75else if (value1.Kind == PointsToAbstractValueKind.Invalid) 77result = value2.Kind == PointsToAbstractValueKind.Undefined ? 81else if (value2.Kind == PointsToAbstractValueKind.Invalid) 83result = value1.Kind == PointsToAbstractValueKind.Undefined ? 87else if (value1.Kind == PointsToAbstractValueKind.Undefined) 91else if (value2.Kind == PointsToAbstractValueKind.Undefined) 95else if (value1.Kind == PointsToAbstractValueKind.Unknown || 96value2.Kind == PointsToAbstractValueKind.Unknown) 100else if (value1.Kind == PointsToAbstractValueKind.UnknownNull) 106else if (value2.Kind == PointsToAbstractValueKind.UnknownNull) 112else if (value1.Kind == PointsToAbstractValueKind.UnknownNotNull) 118else if (value2.Kind == PointsToAbstractValueKind.UnknownNotNull) 124else if (value1.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 126Debug.Assert(value2.Kind == PointsToAbstractValueKind.KnownLValueCaptures); 132Debug.Assert(value1.Kind == PointsToAbstractValueKind.KnownLocations); 133Debug.Assert(value2.Kind == PointsToAbstractValueKind.KnownLocations);
src\ffd9070534249528\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (4)
178if (value.Kind == PointsToAbstractValueKind.Undefined) 182currentValue.Kind == PointsToAbstractValueKind.Unknown && 632if (escapedInstancePointsToValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 1252if (targetValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures)
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (14)
22public static PointsToAbstractValue Undefined { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Undefined, NullAbstractValue.Undefined); 23public static PointsToAbstractValue Invalid { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Invalid, NullAbstractValue.Invalid); 24public static PointsToAbstractValue Unknown { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Unknown, NullAbstractValue.MaybeNull); 25public static PointsToAbstractValue UnknownNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.UnknownNull, NullAbstractValue.Null); 26public static PointsToAbstractValue UnknownNotNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.UnknownNotNull, NullAbstractValue.NotNull); 41Kind = PointsToAbstractValueKind.KnownLocations; 51Kind = PointsToAbstractValueKind.KnownLValueCaptures; 55private PointsToAbstractValue(PointsToAbstractValueKind kind, NullAbstractValue nullState) 57Debug.Assert(kind != PointsToAbstractValueKind.KnownLocations); 58Debug.Assert(kind != PointsToAbstractValueKind.KnownLValueCaptures); 119Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 146Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 163Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 182public PointsToAbstractValueKind Kind { get; }
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (2)
140Debug.Assert(value.Kind != PointsToAbstractValueKind.Undefined); 141Debug.Assert(!key.IsLValueFlowCaptureEntity || value.Kind == PointsToAbstractValueKind.KnownLValueCaptures);
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (5)
52Debug.Assert(entityForInstanceLocation == null || location.Kind == PointsToAbstractValueKind.KnownLocations); 98Debug.Assert(entityForInstanceLocation == null || instanceLocation.Kind == PointsToAbstractValueKind.KnownLocations); 207PointsToAbstractValueKind.Unknown 208or PointsToAbstractValueKind.UnknownNull 209or PointsToAbstractValueKind.UnknownNotNull => true,
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (1)
489if (instanceLocation.Kind == PointsToAbstractValueKind.KnownLocations &&
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (6)
820Debug.Assert(implicitTaskPointsToValueOpt.Kind == PointsToAbstractValueKind.KnownLocations); 1188if (pointsToValueForTask.Kind == PointsToAbstractValueKind.Unknown) 1260if (pointsToValue.Kind == PointsToAbstractValueKind.KnownLocations) 1951if (pointsToValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 2470if (instancePointsToValue.Kind == PointsToAbstractValueKind.Undefined) 3360if (invocationTarget?.Kind == PointsToAbstractValueKind.KnownLocations)