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)

585=> new(IsDisposable); 587=> 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)

20public partial class PointsToAnalysis : ForwardDataFlowAnalysis<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToBlockAnalysisResult, PointsToAbstractValue> 26PredicateAnalysisEntityDataFlowOperationVisitor<PointsToAnalysisData, PointsToAnalysisContext, PointsToAnalysisResult, PointsToAbstractValue> 99public override PointsToAnalysisData Flow(IOperation statement, BasicBlock block, PointsToAnalysisData input) 117var output = base.Flow(statement, block, input); 122public override (PointsToAnalysisData output, bool isFeasibleBranch) FlowBranch(BasicBlock fromBlock, BranchWithInfo branch, PointsToAnalysisData input) 125(PointsToAnalysisData output, bool isFeasibleBranch) result = base.FlowBranch(fromBlock, branch, input); 130protected override void AddTrackedEntities(PointsToAnalysisData analysisData, HashSet<AnalysisEntity> builder, bool forInterproceduralAnalysis) 151protected override void StopTrackingEntity(AnalysisEntity analysisEntity, PointsToAnalysisData analysisData) 173protected override bool HasAnyAbstractValue(PointsToAnalysisData data) => data.HasAnyAbstractValue; 209private static void SetAbstractValueCore(PointsToAnalysisData pointsToAnalysisData, AnalysisEntity analysisEntity, PointsToAbstractValue value) 233private static void ResetAbstractValueIfTracked(AnalysisEntity analysisEntity, PointsToAnalysisData pointsToAnalysisData) 365PointsToAnalysisData targetAnalysisData) 380protected override PredicateValueKind SetValueForIsNullComparisonOperator(IOperation leftOperand, bool equals, PointsToAnalysisData targetAnalysisData) 392PointsToAnalysisData targetAnalysisData) 403PointsToAnalysisData targetAnalysisData) 446PointsToAnalysisData sourceAnalysisData, 447PointsToAnalysisData targetAnalysisData) 508PointsToAnalysisData sourceAnalysisData, 509PointsToAnalysisData targetAnalysisData) 576protected override PointsToAnalysisData MergeAnalysisData(PointsToAnalysisData value1, PointsToAnalysisData value2) 578protected override PointsToAnalysisData MergeAnalysisDataForBackEdge(PointsToAnalysisData value1, PointsToAnalysisData value2, BasicBlock forBlock) 580protected override void UpdateValuesForAnalysisData(PointsToAnalysisData targetAnalysisData) 582protected override PointsToAnalysisData GetClonedAnalysisData(PointsToAnalysisData analysisData) 583=> (PointsToAnalysisData)analysisData.Clone(); 584public override PointsToAnalysisData GetEmptyAnalysisData() 586protected override PointsToAnalysisData GetExitBlockOutputData(PointsToAnalysisResult analysisResult) 588protected override void ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(PointsToAnalysisData dataAtException, ThrownExceptionInfo throwBranchWithExceptionType) 590protected override void AssertValidAnalysisData(PointsToAnalysisData analysisData) 592protected override bool Equals(PointsToAnalysisData value1, PointsToAnalysisData value2) 595protected override void ApplyInterproceduralAnalysisResultCore(PointsToAnalysisData resultData) 601protected override PointsToAnalysisData GetTrimmedCurrentAnalysisData(IEnumerable<AnalysisEntity> withEntities) 603var trimmedData = GetTrimmedCurrentAnalysisDataHelper(withEntities, CurrentAnalysisData.CoreAnalysisData, SetAbstractValueCore); 608protected override PointsToAnalysisData GetInitialInterproceduralAnalysisData( 620var 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)