7 references to UnknownNotNull
Microsoft.CodeAnalysis.NetAnalyzers (7)
Microsoft.NetCore.Analyzers\Security\DoNotUseInsecureDeserializerJavascriptSerializerWithSimpleTypeResolver.cs (1)
136
case PointsToAbstractValueKind.
UnknownNotNull
:
src\11b41c7305441175\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (2)
258
or PointsToAbstractValueKind.
UnknownNotNull
)
409
or PointsToAbstractValueKind.
UnknownNotNull
)
src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (2)
112
else if (value1.Kind == PointsToAbstractValueKind.
UnknownNotNull
)
118
else if (value2.Kind == PointsToAbstractValueKind.
UnknownNotNull
)
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (1)
26
public static PointsToAbstractValue UnknownNotNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.
UnknownNotNull
, NullAbstractValue.NotNull);
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (1)
209
or PointsToAbstractValueKind.
UnknownNotNull
=> true,