27 references to GetCachedAbstractValue
Microsoft.CodeAnalysis.AnalyzerUtilities (27)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)
94
protected override CopyAbstractValue GetCopyAbstractValue(IOperation operation) => base.
GetCachedAbstractValue
(operation);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateValueSetFlowOperationVisitor.cs (2)
35
var branchValue =
GetCachedAbstractValue
(branch.BranchValue);
121
var argumentValue =
GetCachedAbstractValue
(visitedArguments[0]);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (3)
169
protected override PointsToAbstractValue GetPointsToAbstractValue(IOperation operation) => base.
GetCachedAbstractValue
(operation);
789
GetCachedAbstractValue
(currentInstanceOperation) :
881
return arrayCreation != null ?
GetCachedAbstractValue
(arrayCreation) : ValueDomain.UnknownOrMayBeValue;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (8)
293
.Where(s => s.Parameter != null && this.
GetCachedAbstractValue
(s).Kind == TaintedDataAbstractValueKind.Tainted)
296
if (visitedInstance != null && this.
GetCachedAbstractValue
(visitedInstance).Kind == TaintedDataAbstractValueKind.Tainted)
362
SetTaintedForEntity(thenTaintedTargetOperation, this.
GetCachedAbstractValue
(operation));
469
TaintedDataAbstractValue returnValueAbstractValue = this.
GetCachedAbstractValue
(invocationOperation);
491
.Select<IOperation, TaintedDataAbstractValue>(this.
GetCachedAbstractValue
)
572
TaintedDataAbstractValue abstractValue = this.
GetCachedAbstractValue
(taintedArgument);
600
TaintedDataAbstractValue assignmentValueAbstractValue = this.
GetCachedAbstractValue
(assignmentOperation.Value);
756
a => this.
GetCachedAbstractValue
(a).Kind == TaintedDataAbstractValueKind.Tainted
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (1)
116
ValueContentAbstractValue currentAssignedValue =
GetCachedAbstractValue
(assignedValue);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (12)
437
var _ =
GetCachedAbstractValue
(descendant);
824
SetTaskWrappedValue(implicitTaskPointsToValueOpt,
GetCachedAbstractValue
(returnValue));
832
var returnValue =
GetCachedAbstractValue
(returnValueOperation);
2453
getCachedAbstractValueFromCaller:
GetCachedAbstractValue
,
2510
value: instanceReceiver != null ?
GetCachedAbstractValue
(instanceReceiver) : ValueDomain.UnknownOrMayBeValue);
2533
var argumentValue =
GetCachedAbstractValue
(argument);
2980
return
GetCachedAbstractValue
(flowCaptureForCaptureId.Value);
3125
value = ValueDomain.Merge(value,
GetCachedAbstractValue
(operation.Value));
3198
value =
GetCachedAbstractValue
(operation.Instance);
3203
var wrappedOperationValue =
GetCachedAbstractValue
(operation.Arguments[0].Value);
3215
value =
GetCachedAbstractValue
(operation.Arguments.GetArgumentForParameterAtIndex(0));
3265
assignedValue:
GetCachedAbstractValue
(arguments[1].Value),