1 write to Kind
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAbstractValue.cs (1)
24
this.
Kind
= kind;
24 references to Kind
Microsoft.CodeAnalysis.AnalyzerUtilities (24)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAbstractValue.cs (6)
41
hashCode.Add(((int)
Kind
).GetHashCode());
48
&& ((int)
Kind
).GetHashCode() == ((int)other.
Kind
).GetHashCode();
77
Debug.Assert(value1.
Kind
== TaintedDataAbstractValueKind.Tainted);
78
Debug.Assert(value2.
Kind
== TaintedDataAbstractValueKind.Tainted);
95
Debug.Assert(value.
Kind
== TaintedDataAbstractValueKind.Tainted);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.CoreTaintedDataAnalysisDataDomain.cs (1)
21
return value.
Kind
== TaintedDataAbstractValueKind.NotTainted;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataAbstractValueDomain.cs (8)
26
if (oldValue.
Kind
== TaintedDataAbstractValueKind.Tainted && newValue.
Kind
== TaintedDataAbstractValueKind.Tainted)
32
return oldValue.
Kind
.CompareTo(newValue.
Kind
);
52
if (value1.
Kind
== TaintedDataAbstractValueKind.Tainted && value2.
Kind
== TaintedDataAbstractValueKind.Tainted)
58
return value1.
Kind
> value2.
Kind
? value1 : value2;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\TaintedDataAnalysis\TaintedDataAnalysis.TaintedDataOperationVisitor.cs (9)
153
if (value.
Kind
== TaintedDataAbstractValueKind.Tainted
187
if (childValue.
Kind
== TaintedDataAbstractValueKind.Tainted)
292
.Where(s => s.Parameter != null && this.GetCachedAbstractValue(s).
Kind
== TaintedDataAbstractValueKind.Tainted)
295
if (visitedInstance != null && this.GetCachedAbstractValue(visitedInstance).
Kind
== TaintedDataAbstractValueKind.Tainted)
483
if (baseAbstractValue.
Kind
== TaintedDataAbstractValueKind.Tainted)
491
.Where(v => v.
Kind
== TaintedDataAbstractValueKind.Tainted);
492
if (baseAbstractValue.
Kind
== TaintedDataAbstractValueKind.Tainted)
601
&& assignmentValueAbstractValue.
Kind
== TaintedDataAbstractValueKind.Tainted
755
a => this.GetCachedAbstractValue(a).
Kind
== TaintedDataAbstractValueKind.Tainted