1 instantiation of PointsToAnalysis
Microsoft.CodeAnalysis.NetAnalyzers (1)
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.cs (1)
89var pointsToAnalysis = new PointsToAnalysis(analysisDomain, operationVisitor);
33 references to PointsToAnalysis
Microsoft.CodeAnalysis.NetAnalyzers (33)
Microsoft.CodeQuality.Analyzers\QualityGuidelines\AvoidMultipleEnumerations\FlowAnalysis\GlobalFlowStateDictionaryAnalysis.cs (1)
60var pointsToAnalysisResult = PointsToAnalysis.TryGetOrComputeResult(
Microsoft.NetCore.Analyzers\Runtime\DisposableFieldsShouldBeDisposed.cs (1)
185var pointsToAnalysisResult = PointsToAnalysis.TryGetOrComputeResult(cfg,
Microsoft.NetCore.Analyzers\Security\SourceTriggeredTaintedDataAnalyzerBase.cs (1)
97return PointsToAnalysis.TryGetOrComputeResult(
Microsoft.NetCore.Analyzers\Security\UseContainerLevelAccessPolicy.cs (1)
141var pointsToAnalysisResult = PointsToAnalysis.TryGetOrComputeResult(
src\440320f3f10733a8\ValueContentAnalysis.cs (1)
99PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider, pointsToAnalysisKind, out copyAnalysisResult,
src\47c588c5b8785708\ParameterValidationAnalysis.cs (1)
69var pointsToAnalysisResult = PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions, wellKnownTypeProvider,
src\8ce1f4f68b646e6d\GlobalFlowStateAnalysis.cs (1)
113pointsToAnalysisResult ??= PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(
src\ffd9070534249528\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (1)
17/// An abstract analysis domain implementation for <see cref="CorePointsToAnalysisData"/> tracked by <see cref="PointsToAnalysis"/>.
src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (1)
11/// Abstract value domain for <see cref="PointsToAnalysis"/> to merge and compare <see cref="PointsToAbstractValue"/> values.
src\ffd9070534249528\PointsToAnalysis.PointsToAnalysisDomain.cs (1)
13/// An abstract analysis domain implementation for <see cref="PointsToAnalysisData"/> tracked by <see cref="PointsToAnalysis"/>.
src\ffd9070534249528\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (8)
85=> PointsToAnalysis.ShouldBeTracked(analysisEntity, DataFlowAnalysisContext.PointsToAnalysisKind, IsDisposable); 91return !PointsToAnalysis.ShouldBeTracked(analysisEntity.Type, IsDisposable) ? 168protected override PointsToAbstractValue GetAbstractDefaultValue(ITypeSymbol? type) => !PointsToAnalysis.ShouldBeTracked(type, IsDisposable) ? PointsToAbstractValue.NoLocation : PointsToAbstractValue.NullLocation; 240=> PointsToAnalysis.ShouldBeTracked(parameter.Type, IsDisposable) ? 272if (PointsToAnalysis.ShouldBeTracked(operation.Type, IsDisposable) && 446if (!PointsToAnalysis.ShouldBeTracked(key, defaultPointsToValueGenerator.PointsToAnalysisKind, isDisposable)) 920if (PointsToAnalysis.ShouldBeTracked(operation.Type, IsDisposable)) 1172PointsToAnalysis.ShouldBeTracked(operation.Value.Type, IsDisposable))
src\ffd9070534249528\PointsToBlockAnalysisResult.cs (1)
9/// Result from execution of <see cref="PointsToAnalysis"/> on a basic block.
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.cs (1)
45PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(cfg, owningSymbol, analyzerOptions,
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.cs (1)
100pointsToAnalysisResult = PointsToAnalysis.PointsToAnalysis.TryGetOrComputeResult(
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\NullAbstractValue.cs (1)
7/// Abstract null value for <see cref="AnalysisEntity"/>/<see cref="IOperation"/> tracked by <see cref="PointsToAnalysis"/>.
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (1)
12/// Abstract PointsTo value for an <see cref="AnalysisEntity"/>/<see cref="IOperation"/> tracked by <see cref="PointsToAnalysis"/>.
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.cs (1)
89var pointsToAnalysis = new PointsToAnalysis(analysisDomain, operationVisitor);
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisContext.cs (1)
18/// Analysis context for execution of <see cref="PointsToAnalysis"/> on a control flow graph.
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (3)
13/// Aggregated PointsTo analysis data tracked by <see cref="PointsToAnalysis"/>. 67protected override AbstractValueDomain<PointsToAbstractValue> ValueDomain => PointsToAnalysis.ValueDomainInstance; 142Debug.Assert(PointsToAnalysis.ShouldBeTracked(key, PointsToAnalysisKind.Complete, isDisposable));
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisResult.cs (1)
9/// Analysis result from execution of <see cref="PointsToAnalysis"/> on a control flow graph.
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.cs (1)
83pointsToAnalysisResult = PointsToAnalysis.TryGetOrComputeResult(
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.cs (1)
83pointsToAnalysisResult = PointsToAnalysis.TryGetOrComputeResult(
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractLocation.cs (1)
17/// a location that is pointed to by a reference type variable, and tracked with <see cref="PointsToAnalysis.PointsToAnalysis"/>.
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (1)
130var mergedInstanceLocation = PointsToAnalysis.PointsToAnalysis.ValueDomainInstance.Merge(InstanceLocation, analysisEntityToMerge.InstanceLocation);