CoreAnalysisData

src\0437c1690f5501bd\CopyAnalysis.CopyDataFlowOperationVisitor.cs (8)

390using var builder = ArrayBuilder<AnalysisEntity>.GetInstance(targetAnalysisData.CoreAnalysisData.Count); 391builder.AddRange(targetAnalysisData.CoreAnalysisData.Keys); 518CurrentAnalysisData.CoreAnalysisData.Clear(); 519CurrentAnalysisData.CoreAnalysisData.AddRange(mergedData.CoreAnalysisData); 525foreach (var kvp in CurrentAnalysisData.CoreAnalysisData) 529if (mergedData.CoreAnalysisData.ContainsKey(key) || 583copyValues = CurrentAnalysisData.CoreAnalysisData;

src\40daf5e1cab76dff\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (7)

97UpdateValuesForAnalysisData(targetAnalysisData.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData); 117base.ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(dataAtException.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData, throwBranchWithExceptionType); 153|| this.CurrentAnalysisData.CoreAnalysisData.ContainsKey(analysisEntity)) 770=> ApplyInterproceduralAnalysisResultHelper(resultData.CoreAnalysisData); 773=> GetTrimmedCurrentAnalysisDataHelper(withEntities, CurrentAnalysisData.CoreAnalysisData, SetAbstractValueCore);

src\40daf5e1cab76dff\TaintedDataBlockAnalysisResult.cs (1)

20Data = blockAnalysisData?.CoreAnalysisData.ToImmutableDictionary() ?? ImmutableDictionary<AnalysisEntity, TaintedDataAbstractValue>.Empty;

src\440320f3f10733a8\ValueContentAnalysis.ValueContentAnalysisDomain.cs (2)

36var mergedCoreAnalysisData = ((CoreAnalysisDataDomain)CoreDataAnalysisDomain).MergeAnalysisDataForBackEdge(forwardEdgeAnalysisData.CoreAnalysisData, backEdgeAnalysisData.CoreAnalysisData);

src\440320f3f10733a8\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (6)

166=> UpdateValuesForAnalysisData(targetAnalysisData.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData); 174=> ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(dataAtException.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData, throwBranchWithExceptionType); 178=> ApplyInterproceduralAnalysisResultHelper(resultData.CoreAnalysisData); 180=> GetTrimmedCurrentAnalysisDataHelper(withEntities, CurrentAnalysisData.CoreAnalysisData, SetAbstractValue);

src\440320f3f10733a8\ValueContentBlockAnalysisResult.cs (1)

17Data = blockAnalysisData?.CoreAnalysisData.ToImmutableDictionary() ?? ImmutableDictionary<AnalysisEntity, ValueContentAbstractValue>.Empty;

src\9382845807600969\AnalysisEntityBasedPredicateAnalysisData.cs (29)

16/// whose <see cref="CoreAnalysisData"/> is keyed by an <see cref="AnalysisEntity"/>. 33CoreAnalysisData = new DictionaryAnalysisData<AnalysisEntity, TValue>(fromData.CoreAnalysisData); 40: base(data1, data2, data1.CoreAnalysisData, 41data2.CoreAnalysisData, data1.IsReachableBlockData, coreDataAnalysisDomain) 45CoreAnalysisData = coreDataAnalysisDomain.Merge(data1.CoreAnalysisData, data2.CoreAnalysisData); 62public virtual bool HasAnyAbstractValue => CoreAnalysisData.Count > 0 || HasPredicatedData; 78var coreAnalysisDataCompareResult = coreDataAnalysisDomain.Compare(CoreAnalysisData, newData.CoreAnalysisData); 83public bool HasAbstractValue(AnalysisEntity analysisEntity) => CoreAnalysisData.ContainsKey(analysisEntity); 85public bool TryGetValue(AnalysisEntity key, [MaybeNullWhen(false)] out TValue value) => CoreAnalysisData.TryGetValue(key, out value); 88public TValue this[AnalysisEntity key] => CoreAnalysisData[key]; 94Debug.Assert(!CoreAnalysisData.IsDisposed); 106CoreAnalysisData[key] = value; 115CoreAnalysisData.Remove(key); 127EqualsHelper(CoreAnalysisData, other.CoreAnalysisData); 136if (CoreAnalysisData.Count > 0) 138var keys = CoreAnalysisData.Keys.ToImmutableArray(); 141CoreAnalysisData[key] = getResetValue(key, CoreAnalysisData[key]); 153StartTrackingPredicatedData(predicatedEntity, truePredicateData?.CoreAnalysisData, falsePredicateData?.CoreAnalysisData); 161var result = ApplyPredicatedDataForEntity(CoreAnalysisData, predicatedEntity, trueData); 166public void AddTrackedEntities(HashSet<AnalysisEntity> builder) => builder.UnionWith(CoreAnalysisData.Keys); 179using var builder = ArrayBuilder<(AnalysisEntity, TValue)>.GetInstance(CoreAnalysisData.Count); 180foreach (var entity in CoreAnalysisData.Keys) 202CoreAnalysisData.TryGetValue(entity, out var existingValue)) 227CoreAnalysisData.Dispose();

src\ffd9070534249528\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (5)

63List<AnalysisEntity> keysInMap1 = forwardEdgeAnalysisData.CoreAnalysisData.Keys.ToList(); 119var resultMap = Merge(forwardEdgeAnalysisData.CoreAnalysisData, backEdgeAnalysisData.CoreAnalysisData); 120Debug.Assert(Compare(forwardEdgeAnalysisData.CoreAnalysisData, resultMap) <= 0); 121Debug.Assert(Compare(backEdgeAnalysisData.CoreAnalysisData, resultMap) <= 0);

src\ffd9070534249528\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (7)

578=> UpdateValuesForAnalysisData(targetAnalysisData.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData); 586=> ApplyMissingCurrentAnalysisDataForUnhandledExceptionData(dataAtException.CoreAnalysisData, CurrentAnalysisData.CoreAnalysisData, throwBranchWithExceptionType); 594ApplyInterproceduralAnalysisResultHelper(resultData.CoreAnalysisData); 600var trimmedData = GetTrimmedCurrentAnalysisDataHelper(withEntities, CurrentAnalysisData.CoreAnalysisData, SetAbstractValueCore); 616pointsToValues = CurrentAnalysisData.CoreAnalysisData;

src\ffd9070534249528\PointsToBlockAnalysisResult.cs (1)

17Data = blockAnalysisData?.CoreAnalysisData.ToImmutableDictionary() ?? ImmutableDictionary<AnalysisEntity, PointsToAbstractValue>.Empty;

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysisData.cs (2)

81CoreAnalysisData[entity] = copyValue; 193AssertValidCopyAnalysisData(CoreAnalysisData, tryGetDefaultCopyValue, initializingParameters);

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyBlockAnalysisResult.cs (1)

17Data = blockAnalysisData?.CoreAnalysisData.ToImmutableDictionary() ?? ImmutableDictionary<AnalysisEntity, CopyAbstractValue>.Empty;

src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (2)

96AssertNoFlowCaptureEntitiesTracked(CoreAnalysisData); 114AssertValidPointsToAnalysisData(CoreAnalysisData, _isDisposable);