10 references to HasAbstractValue
Microsoft.CodeAnalysis.AnalyzerUtilities (10)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (3)
67
protected override bool HasAbstractValue(AnalysisEntity analysisEntity) => CurrentAnalysisData.
HasAbstractValue
(analysisEntity);
413
var entitiesToExclude = newValue.AnalysisEntities.Where(e => !targetAnalysisData.
HasAbstractValue
(e));
429
var entitiesToExclude = existingValue.AnalysisEntities.Where(e => !CurrentAnalysisData.
HasAbstractValue
(e));
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (4)
140
if (analysisData.
HasAbstractValue
(entity) ||
149
protected override bool HasAbstractValue(AnalysisEntity analysisEntity) => CurrentAnalysisData.
HasAbstractValue
(analysisEntity);
451
Debug.Assert(!targetAnalysisData.
HasAbstractValue
(key));
452
Debug.Assert(!sourceAnalysisData.
HasAbstractValue
(key));
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (1)
84
return this.CurrentAnalysisData.
HasAbstractValue
(analysisEntity);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (2)
47
!analysisData.
HasAbstractValue
(analysisEntity))
59
=> CurrentAnalysisData.
HasAbstractValue
(analysisEntity);