23 references to TaintedDataAbstractValueKind
Microsoft.CodeAnalysis.AnalyzerUtilities (23)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAbstractValue.cs (9)
20public static readonly TaintedDataAbstractValue NotTainted = new(TaintedDataAbstractValueKind.NotTainted, ImmutableHashSet<SymbolAccess>.Empty); 22private TaintedDataAbstractValue(TaintedDataAbstractValueKind kind, ImmutableHashSet<SymbolAccess> sourceOrigins) 31public TaintedDataAbstractValueKind Kind { get; } 61TaintedDataAbstractValueKind.Tainted, 77Debug.Assert(value1.Kind == TaintedDataAbstractValueKind.Tainted); 78Debug.Assert(value2.Kind == TaintedDataAbstractValueKind.Tainted); 81TaintedDataAbstractValueKind.Tainted, 95Debug.Assert(value.Kind == TaintedDataAbstractValueKind.Tainted); 101TaintedDataAbstractValueKind.Tainted,
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.CoreTaintedDataAnalysisDataDomain.cs (1)
21return value.Kind == TaintedDataAbstractValueKind.NotTainted;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataAbstractValueDomain.cs (4)
26if (oldValue.Kind == TaintedDataAbstractValueKind.Tainted && newValue.Kind == TaintedDataAbstractValueKind.Tainted) 52if (value1.Kind == TaintedDataAbstractValueKind.Tainted && value2.Kind == TaintedDataAbstractValueKind.Tainted)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (9)
154if (value.Kind == TaintedDataAbstractValueKind.Tainted 188if (childValue.Kind == TaintedDataAbstractValueKind.Tainted) 293.Where(s => s.Parameter != null && this.GetCachedAbstractValue(s).Kind == TaintedDataAbstractValueKind.Tainted) 296if (visitedInstance != null && this.GetCachedAbstractValue(visitedInstance).Kind == TaintedDataAbstractValueKind.Tainted) 484if (baseAbstractValue.Kind == TaintedDataAbstractValueKind.Tainted) 492.Where(v => v.Kind == TaintedDataAbstractValueKind.Tainted); 493if (baseAbstractValue.Kind == TaintedDataAbstractValueKind.Tainted) 602&& assignmentValueAbstractValue.Kind == TaintedDataAbstractValueKind.Tainted 756a => this.GetCachedAbstractValue(a).Kind == TaintedDataAbstractValueKind.Tainted