PointsToAnalysisKind

51 references to PointsToAnalysisKind

Microsoft.CodeAnalysis.AnalyzerUtilities (51)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.cs (3)

36PointsToAnalysisKind pointsToAnalysisKind = PointsToAnalysisKind.PartialWithoutTrackingFieldsAndProperties, 45var pointsToAnalysisResult = pointsToAnalysisKind != PointsToAnalysisKind.None ?

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

43PointsToAnalysisKind defaultPointsToAnalysisKind, 94PointsToAnalysisKind pointsToAnalysisKind,

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysisHelper.cs (1)

127PointsToAnalysisKind defaultPointsToAnalysisKind,

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

79var pointsToAnalysisKind = analyzerOptions.GetPointsToAnalysisKindOption(rule, owningSymbol, wellKnownTypeProvider.Compilation, 80defaultValue: PointsToAnalysisKind.PartialWithoutTrackingFieldsAndProperties); 95PointsToAnalysisKind pointsToAnalysisKind,

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.cs (4)

36PointsToAnalysisKind defaultPointsToAnalysisKind = PointsToAnalysisKind.PartialWithoutTrackingFieldsAndProperties, 53var pointsToAnalysisKind = analyzerOptions.GetPointsToAnalysisKindOption(rule, topmostBlock.Syntax.SyntaxTree, compilation, defaultPointsToAnalysisKind); 64PointsToAnalysisKind pointsToAnalysisKind,

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\DefaultPointsToValueGenerator.cs (1)

24public PointsToAnalysisKind PointsToAnalysisKind => _trackedEntitiesBuilder.PointsToAnalysisKind;

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.cs (5)

35PointsToAnalysisKind pointsToAnalysisKind, 52PointsToAnalysisKind pointsToAnalysisKind, 60if (pointsToAnalysisKind == PointsToAnalysisKind.None) 98internal static bool ShouldBeTracked(AnalysisEntity analysisEntity, PointsToAnalysisKind pointsToAnalysisKind, Func<ITypeSymbol?, bool> isDisposable) 100Debug.Assert(pointsToAnalysisKind != PointsToAnalysisKind.None);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisContext.cs (4)

29PointsToAnalysisKind pointsToAnalysisKind, 42Debug.Assert(pointsToAnalysisKind != PointsToAnalysisKind.None); 47public PointsToAnalysisKind PointsToAnalysisKind { get; } 55PointsToAnalysisKind pointsToAnalysisKind,

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (1)

143Debug.Assert(PointsToAnalysis.ShouldBeTracked(key, PointsToAnalysisKind.Complete, isDisposable));

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisResult.cs (1)

35public PointsToAnalysisKind PointsToAnalysisKind { get; }

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\TrackedEntitiesBuilder.cs (3)

31public TrackedEntitiesBuilder(PointsToAnalysisKind pointsToAnalysisKind) 33Debug.Assert(pointsToAnalysisKind != PointsToAnalysisKind.None); 40public PointsToAnalysisKind PointsToAnalysisKind { get; }

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

89PointsToAnalysisKind.Complete, 108PointsToAnalysisKind.Complete,

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.cs (2)

71PointsToAnalysisKind.Complete, 89PointsToAnalysisKind.Complete,

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

35PointsToAnalysisKind defaultPointsToAnalysisKind, 49PointsToAnalysisKind defaultPointsToAnalysisKind, 83PointsToAnalysisKind pointsToAnalysisKind, 99pointsToAnalysisResult = pointsToAnalysisKind != PointsToAnalysisKind.None ?

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

165internal bool ShouldBeTrackedForPointsToAnalysis(PointsToAnalysisKind pointsToAnalysisKind) 166=> ShouldBeTrackedForAnalysis(pointsToAnalysisKind == PointsToAnalysisKind.Complete);

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

138/// <see cref="PointsToAnalysisKind.PartialWithoutTrackingFieldsAndProperties"/> or <see cref="PointsToAnalysisKind.Complete"/> 143/// Indicates if we have complete points to analysis data with <see cref="PointsToAnalysisKind.Complete"/>. 319var pointsToAnalysisKind = analysisContext is PointsToAnalysisContext pointsToAnalysisContext 321: analysisContext.PointsToAnalysisResult?.PointsToAnalysisKind ?? PointsToAnalysisKind.None; 322HasPointsToAnalysisResult = pointsToAnalysisKind != PointsToAnalysisKind.None; 323HasCompletePointsToAnalysisResult = pointsToAnalysisKind == PointsToAnalysisKind.Complete;

src\RoslynAnalyzers\Utilities\FlowAnalysis\Options\AnalyzerOptionsExtensions_FlowAnalysis.cs (4)

104public static PointsToAnalysisKind GetPointsToAnalysisKindOption( 109PointsToAnalysisKind defaultValue) 114public static PointsToAnalysisKind GetPointsToAnalysisKindOption( 119PointsToAnalysisKind defaultValue)

src\RoslynAnalyzers\Utilities\FlowAnalysis\Options\EditorConfigOptionNames_FlowAnalysis.cs (2)

73/// Option to configure points to analysis kind, i.e. <see cref="Microsoft.CodeAnalysis.FlowAnalysis.DataFlow.PointsToAnalysis.PointsToAnalysisKind"/>. 74/// Allowed option values: Fields from <see cref="Microsoft.CodeAnalysis.FlowAnalysis.DataFlow.PointsToAnalysis.PointsToAnalysisKind"/>.