mirror of
https://github.com/github/codeql.git
synced 2026-04-29 18:55:14 +02:00
C#: Convert and cleanup flow summaries for Microsoft.Extensions.Primitives.StringValues.
This commit is contained in:
Michael Nebel
@@ -86,6 +86,7 @@ private import internal.FlowSummaryImplSpecific
|
||||
private module Frameworks {
|
||||
private import semmle.code.csharp.frameworks.EntityFramework
|
||||
private import semmle.code.csharp.frameworks.JsonNET
|
||||
private import semmle.code.csharp.frameworks.microsoft.extensions.Primitives
|
||||
private import semmle.code.csharp.frameworks.microsoft.VisualBasic
|
||||
private import semmle.code.csharp.frameworks.ServiceStack
|
||||
private import semmle.code.csharp.frameworks.Sql
|
||||
|
||||
@@ -513,30 +513,6 @@ private class SyntheticConfiguredTaskAwaiterField extends SyntheticField {
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Custom flow through `StringValues` library class.
|
||||
*/
|
||||
class StringValuesFlow extends LibraryTypeDataFlow, Struct {
|
||||
StringValuesFlow() { this.hasQualifiedName("Microsoft.Extensions.Primitives", "StringValues") }
|
||||
|
||||
override predicate callableFlow(
|
||||
CallableFlowSource source, CallableFlowSink sink, SourceDeclarationCallable c,
|
||||
boolean preservesValue
|
||||
) {
|
||||
c.getDeclaringType() = this and
|
||||
(
|
||||
exists(Parameter p, int i |
|
||||
p = c.getParameter(i) and
|
||||
source = TCallableFlowSourceArg(i)
|
||||
)
|
||||
or
|
||||
not c.(Method).isStatic() and source = TCallableFlowSourceQualifier()
|
||||
) and
|
||||
sink = TCallableFlowSinkReturn() and
|
||||
preservesValue = false
|
||||
}
|
||||
}
|
||||
|
||||
private predicate recordConstructorFlow(Constructor c, int i, Property p) {
|
||||
c = any(Record r).getAMember() and
|
||||
exists(string name |
|
||||
|
||||
@@ -0,0 +1,66 @@
|
||||
/** Provides definitions related to the `Microsoft.Extensions.Primitives` namespace. */
|
||||
|
||||
private import semmle.code.csharp.dataflow.ExternalFlow
|
||||
|
||||
/** Data flow for `Microsoft.Extensions.Primitives.StringValues`. */
|
||||
private class MicrosoftExtensionsPrimitivesStringValuesFlowModelCsv extends SummaryModelCsv {
|
||||
override predicate row(string row) {
|
||||
row =
|
||||
[
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Concat;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Concat;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Element of Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Element of Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Element of Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Element of Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;GetHashCode;();;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;IndexOf;(System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;IndexOf;(System.String);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Insert;(System.Int32,System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Insert;(System.Int32,System.String);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Insert;(System.Int32,System.String);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;IsNullOrEmpty;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Remove;(System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;Remove;(System.String);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Element of Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;ToArray;();;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;ToString;();;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;get_Count;();;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;get_IsReadOnly;();;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[-1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[0];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[1];ReturnValue;taint",
|
||||
"Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[-1];ReturnValue;taint",
|
||||
]
|
||||
}
|
||||
}
|
||||
@@ -1,51 +1,8 @@
|
||||
| Microsoft.Extensions.Primitives;StringTokenizer;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value |
|
||||
| Microsoft.Extensions.Primitives;StringTokenizer;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.IEnumerator.Current] of ReturnValue;value |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[0];Element of Argument[-1];value |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Clear;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
@@ -54,9 +11,9 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Element of Argument[-1];Element of Argument[0];value |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
@@ -65,17 +22,17 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Element of Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.IEnumerator.Current] of ReturnValue;value |
|
||||
@@ -91,11 +48,8 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Remove;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;ToArray;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;ToString;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_Count;();;Argument[-1];ReturnValue;taint |
|
||||
@@ -103,12 +57,6 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Element of Argument[-1];ReturnValue;value |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[1];Element of Argument[-1];value |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[1];ReturnValue;taint |
|
||||
|
||||
@@ -1,48 +1,5 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Clear;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
@@ -51,9 +8,9 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
@@ -61,17 +18,17 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Element of Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;GetHashCode;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;IndexOf;(System.String);;Argument[0];ReturnValue;taint |
|
||||
@@ -84,23 +41,14 @@
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;Remove;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Element of Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;ToArray;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;ToString;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_Count;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_IsReadOnly;();;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String[]);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String[]);;Argument[-1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[0];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[1];ReturnValue;taint |
|
||||
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[-1];ReturnValue;taint |
|
||||
|
||||
Reference in New Issue
Block a user