4 overrides of ValueDomain
Microsoft.CodeAnalysis.NetAnalyzers (4)
src\40daf5e1cab76dff\TaintedDataAnalysisData.cs (1)
33
protected override AbstractValueDomain<TaintedDataAbstractValue>
ValueDomain
=> TaintedDataAnalysis.ValueDomainInstance;
src\440320f3f10733a8\ValueContentAnalysisData.cs (1)
46
protected override AbstractValueDomain<ValueContentAbstractValue>
ValueDomain
=> ValueContentAnalysis.ValueDomainInstance;
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysisData.cs (1)
43
protected override AbstractValueDomain<CopyAbstractValue>
ValueDomain
=> ValueDomainInstance;
src\sdk\src\Microsoft.CodeAnalysis.NetAnalyzers\src\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (1)
67
protected override AbstractValueDomain<PointsToAbstractValue>
ValueDomain
=> PointsToAnalysis.ValueDomainInstance;
1 reference to ValueDomain
Microsoft.CodeAnalysis.NetAnalyzers (1)
src\9382845807600969\AnalysisEntityBasedPredicateAnalysisData.cs (1)
204
var mergedValue =
ValueDomain
.Merge(value, existingValue);