4 overrides of ValueDomain
Microsoft.CodeAnalysis.AnalyzerUtilities (4)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysisData.cs (1)
44
protected override AbstractValueDomain<CopyAbstractValue>
ValueDomain
=> ValueDomainInstance;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (1)
68
protected override AbstractValueDomain<PointsToAbstractValue>
ValueDomain
=> PointsToAnalysis.ValueDomainInstance;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysisData.cs (1)
34
protected override AbstractValueDomain<TaintedDataAbstractValue>
ValueDomain
=> TaintedDataAnalysis.ValueDomainInstance;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysisData.cs (1)
47
protected override AbstractValueDomain<ValueContentAbstractValue>
ValueDomain
=> ValueContentAnalysis.ValueDomainInstance;
1 reference to ValueDomain
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityBasedPredicateAnalysisData.cs (1)
205
var mergedValue =
ValueDomain
.Merge(value, existingValue);