23 references to TaintedDataAbstractValueKind
Microsoft.CodeAnalysis.NetAnalyzers (23)
src\40daf5e1cab76dff\TaintedDataAbstractValue.cs (9)
19public static readonly TaintedDataAbstractValue NotTainted = new(TaintedDataAbstractValueKind.NotTainted, ImmutableHashSet<SymbolAccess>.Empty); 21private TaintedDataAbstractValue(TaintedDataAbstractValueKind kind, ImmutableHashSet<SymbolAccess> sourceOrigins) 30public TaintedDataAbstractValueKind Kind { get; } 60TaintedDataAbstractValueKind.Tainted, 76Debug.Assert(value1.Kind == TaintedDataAbstractValueKind.Tainted); 77Debug.Assert(value2.Kind == TaintedDataAbstractValueKind.Tainted); 80TaintedDataAbstractValueKind.Tainted, 94Debug.Assert(value.Kind == TaintedDataAbstractValueKind.Tainted); 100TaintedDataAbstractValueKind.Tainted,
src\40daf5e1cab76dff\TaintedDataAnalysis.CoreTaintedDataAnalysisDataDomain.cs (1)
20return value.Kind == TaintedDataAbstractValueKind.NotTainted;
src\40daf5e1cab76dff\TaintedDataAnalysis.TaintedDataAbstractValueDomain.cs (4)
25if (oldValue.Kind == TaintedDataAbstractValueKind.Tainted && newValue.Kind == TaintedDataAbstractValueKind.Tainted) 51if (value1.Kind == TaintedDataAbstractValueKind.Tainted && value2.Kind == TaintedDataAbstractValueKind.Tainted)
src\40daf5e1cab76dff\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (9)
152if (value.Kind == TaintedDataAbstractValueKind.Tainted 186if (childValue.Kind == TaintedDataAbstractValueKind.Tainted) 291.Where(s => s.Parameter != null && this.GetCachedAbstractValue(s).Kind == TaintedDataAbstractValueKind.Tainted) 294if (visitedInstance != null && this.GetCachedAbstractValue(visitedInstance).Kind == TaintedDataAbstractValueKind.Tainted) 482if (baseAbstractValue.Kind == TaintedDataAbstractValueKind.Tainted) 490.Where(v => v.Kind == TaintedDataAbstractValueKind.Tainted); 491if (baseAbstractValue.Kind == TaintedDataAbstractValueKind.Tainted) 600&& assignmentValueAbstractValue.Kind == TaintedDataAbstractValueKind.Tainted 754a => this.GetCachedAbstractValue(a).Kind == TaintedDataAbstractValueKind.Tainted