PointsToAnalysisData

5 instantiations of PointsToAnalysisData

Microsoft.CodeAnalysis.AnalyzerUtilities (5)

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

46return new PointsToAnalysisData(mergedCoreAnalysisData, forwardEdgeAnalysisData,

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (2)

583=> new(IsDisposable); 585=> new(analysisResult.ExitBlockOutput.Data, IsDisposable);

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

69public override AnalysisEntityBasedPredicateAnalysisData<PointsToAbstractValue> Clone() => new PointsToAnalysisData(this); 77var mergedData = new PointsToAnalysisData(this, (PointsToAnalysisData)data, coreDataAnalysisDomain);

72 references to PointsToAnalysisData

Microsoft.CodeAnalysis.AnalyzerUtilities (72)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (7)

15public partial class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToBlockAnalysisResult, PointsToAbstractValue> 47PointsToAnalysisData.AssertValidPointsToAnalysisKeyValuePair(analysisEntity, value, _isDisposable); 52PointsToAnalysisData.AssertValidPointsToAnalysisData(map, _isDisposable); 56PointsToAnalysisData forwardEdgeAnalysisData, 57PointsToAnalysisData backEdgeAnalysisData, 59Action<AnalysisEntity, PointsToAnalysisData> resetAbstractValue) 63forwardEdgeAnalysisData = (PointsToAnalysisData)forwardEdgeAnalysisData.Clone();

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

21public partial class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToBlockAnalysisResult, PointsToAbstractValue> 113internal static void AssertValidPointsToAnalysisData(PointsToAnalysisData data) 128protected override PointsToBlockAnalysisResult ToBlockResult(BasicBlock basicBlock, PointsToAnalysisData blockAnalysisData)

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

9public partial class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToBlockAnalysisResult, PointsToAbstractValue>

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

9public partial class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToBlockAnalysisResult, PointsToAbstractValue>

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAnalysisDomain.cs (9)

11public partial class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToBlockAnalysisResult, PointsToAbstractValue> 14/// An abstract analysis domain implementation for <see cref="PointsToAnalysisData"/> tracked by <see cref="PointsToAnalysis"/>. 16private sealed class PointsToAnalysisDomain : PredicatedAnalysisDataDomain<PointsToAnalysisData, PointsToAbstractValue> 23public PointsToAnalysisData MergeAnalysisDataForBackEdge( 24PointsToAnalysisData forwardEdgeAnalysisData, 25PointsToAnalysisData backEdgeAnalysisData, 27Action<AnalysisEntity, PointsToAnalysisData> resetAbstractValue, 32return (PointsToAnalysisData)backEdgeAnalysisData.Clone(); 36return (PointsToAnalysisData)forwardEdgeAnalysisData.Clone();

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (42)

18public partial class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToBlockAnalysisResult, PointsToAbstractValue> 24PredicateAnalysisEntityDataFlowOperationVisitor<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToAbstractValue> 97public override PointsToAnalysisData Flow(IOperation statement, BasicBlock block, PointsToAnalysisData input) 115var output = base.Flow(statement, block, input); 120public override (PointsToAnalysisData output, bool isFeasibleBranch) FlowBranch(BasicBlock fromBlock, BranchWithInfo branch, PointsToAnalysisData input) 123(PointsToAnalysisData output, bool isFeasibleBranch) result = base.FlowBranch(fromBlock, branch, input); 128protected override void AddTrackedEntities(PointsToAnalysisData analysisData, HashSet<AnalysisEntity> builder, bool forInterproceduralAnalysis) 149protected override void StopTrackingEntity(AnalysisEntity analysisEntity, PointsToAnalysisData analysisData) 171protected override bool HasAnyAbstractValue(PointsToAnalysisData data) => data.HasAnyAbstractValue; 207private static void SetAbstractValueCore(PointsToAnalysisData pointsToAnalysisData, AnalysisEntity analysisEntity, PointsToAbstractValue value) 231private static void ResetAbstractValueIfTracked(AnalysisEntity analysisEntity, PointsToAnalysisData pointsToAnalysisData) 363PointsToAnalysisData targetAnalysisData) 378protected override PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, PointsToAnalysisData targetAnalysisData) 390PointsToAnalysisData targetAnalysisData) 401PointsToAnalysisData targetAnalysisData) 444PointsToAnalysisData sourceAnalysisData, 445PointsToAnalysisData targetAnalysisData) 506PointsToAnalysisData sourceAnalysisData, 507PointsToAnalysisData targetAnalysisData) 574protected override PointsToAnalysisData MergeAnalysisData(PointsToAnalysisData value1, PointsToAnalysisData value2) 576protected override PointsToAnalysisData MergeAnalysisDataForBackEdge(PointsToAnalysisData value1, PointsToAnalysisData value2, BasicBlock forBlock) 578protected override void UpdateValuesForAnalysisData(PointsToAnalysisData targetAnalysisData) 580protected override PointsToAnalysisData GetClonedAnalysisData(PointsToAnalysisData analysisData) 581=> (PointsToAnalysisData)analysisData.Clone(); 582public override PointsToAnalysisData GetEmptyAnalysisData() 584protected override PointsToAnalysisData GetExitBlockOutputData(PointsToAnalysisResult analysisResult) 586protected override void ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(PointsToAnalysisData dataAtException, ThrownExceptionInfo throwBranchWithExceptionType) 588protected override void AssertValidAnalysisData(PointsToAnalysisData analysisData) 590protected override bool Equals(PointsToAnalysisData value1, PointsToAnalysisData value2) 593protected override void ApplyInterproceduralAnalysisResultCore(PointsToAnalysisData resultData) 599protected override PointsToAnalysisData GetTrimmedCurrentAnalysisData(IEnumerable<AnalysisEntity> withEntities) 601var trimmedData = GetTrimmedCurrentAnalysisDataHelper(withEntities, CurrentAnalysisData.CoreAnalysisData, SetAbstractValueCore); 606protected override PointsToAnalysisData GetInitialInterproceduralAnalysisData( 618var initialAnalysisData = base.GetInitialInterproceduralAnalysisData(invokedMethod,

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

15using InterproceduralPointsToAnalysisData = InterproceduralAnalysisData<PointsToAnalysisData, PointsToAnalysisContext, PointsToAbstractValue>; 21public sealed class PointsToAnalysisContext : AbstractDataFlowAnalysisContext<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToAbstractValue> 89protected override bool ComputeEqualsByHashCodeParts(AbstractDataFlowAnalysisContext<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToAbstractValue> obj)

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

50private PointsToAnalysisData(PointsToAnalysisData fromData) 58private PointsToAnalysisData(PointsToAnalysisData data1, PointsToAnalysisData data2, MapAbstractDomain<AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain) 77var mergedData = new PointsToAnalysisData(this, (PointsToAnalysisData)data, coreDataAnalysisDomain);

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

15internal PointsToBlockAnalysisResult(BasicBlock basicBlock, PointsToAnalysisData blockAnalysisData)