27 references to GetCachedAbstractValue
Microsoft.CodeAnalysis.AnalyzerUtilities (27)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\CopyAnalysis\CopyAnalysis.CopyDataFlowOperationVisitor.cs (1)
95
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)
167
protected override PointsToAbstractValue GetPointsToAbstractValue(IOperation operation) => base.
GetCachedAbstractValue
(operation);
787
GetCachedAbstractValue
(currentInstanceOperation) :
879
return arrayCreation != null ?
GetCachedAbstractValue
(arrayCreation) : ValueDomain.UnknownOrMayBeValue;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (8)
292
.Where(s => s.Parameter != null && this.
GetCachedAbstractValue
(s).Kind == TaintedDataAbstractValueKind.Tainted)
295
if (visitedInstance != null && this.
GetCachedAbstractValue
(visitedInstance).Kind == TaintedDataAbstractValueKind.Tainted)
361
SetTaintedForEntity(thenTaintedTargetOperation, this.
GetCachedAbstractValue
(operation));
468
TaintedDataAbstractValue returnValueAbstractValue = this.
GetCachedAbstractValue
(invocationOperation);
490
.Select<IOperation, TaintedDataAbstractValue>(this.
GetCachedAbstractValue
)
571
TaintedDataAbstractValue abstractValue = this.
GetCachedAbstractValue
(taintedArgument);
599
TaintedDataAbstractValue assignmentValueAbstractValue = this.
GetCachedAbstractValue
(assignmentOperation.Value);
755
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)
435
var _ =
GetCachedAbstractValue
(descendant);
822
SetTaskWrappedValue(implicitTaskPointsToValueOpt,
GetCachedAbstractValue
(returnValue));
830
var returnValue =
GetCachedAbstractValue
(returnValueOperation);
2451
getCachedAbstractValueFromCaller:
GetCachedAbstractValue
,
2508
value: instanceReceiver != null ?
GetCachedAbstractValue
(instanceReceiver) : ValueDomain.UnknownOrMayBeValue);
2531
var argumentValue =
GetCachedAbstractValue
(argument);
2978
return
GetCachedAbstractValue
(flowCaptureForCaptureId.Value);
3123
value = ValueDomain.Merge(value,
GetCachedAbstractValue
(operation.Value));
3196
value =
GetCachedAbstractValue
(operation.Instance);
3201
var wrappedOperationValue =
GetCachedAbstractValue
(operation.Arguments[0].Value);
3213
value =
GetCachedAbstractValue
(operation.Arguments.GetArgumentForParameterAtIndex(0));
3263
assignedValue:
GetCachedAbstractValue
(arguments[1].Value),