Skip to content

Commit 48651a6

Browse files
michaelnebelmichaelnebel
committed
C#: Update flow summaries for StringValues.
1 parent c36bf3c commit 48651a6

File tree

2 files changed

+221
-0
lines changed

2 files changed

+221
-0
lines changed

‎csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected

Lines changed: 115 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,118 @@
1+
| Microsoft.Extensions.Primitives;StringTokenizer;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value |
2+
| Microsoft.Extensions.Primitives;StringTokenizer;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.IEnumerator.Current] of ReturnValue;value |
3+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
4+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
5+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
6+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[0];ReturnValue;taint |
7+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[1];ReturnValue;taint |
8+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[-1];ReturnValue;taint |
9+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
10+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
11+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[-1];ReturnValue;taint |
12+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
13+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
14+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[-1];ReturnValue;taint |
15+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
16+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
17+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
18+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
19+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
20+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
21+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
22+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
23+
| Microsoft.Extensions.Primitives;StringValues;false;!=;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
24+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
25+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
26+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
27+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[0];ReturnValue;taint |
28+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[1];ReturnValue;taint |
29+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.Object);;Argument[-1];ReturnValue;taint |
30+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
31+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
32+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[-1];ReturnValue;taint |
33+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
34+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
35+
| Microsoft.Extensions.Primitives;StringValues;false;==;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[-1];ReturnValue;taint |
36+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
37+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
38+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.Object,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
39+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
40+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
41+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
42+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
43+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
44+
| Microsoft.Extensions.Primitives;StringValues;false;==;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
45+
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[0];Element of Argument[-1];value |
46+
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[0];ReturnValue;taint |
47+
| Microsoft.Extensions.Primitives;StringValues;false;Add;(System.String);;Argument[-1];ReturnValue;taint |
48+
| Microsoft.Extensions.Primitives;StringValues;false;Clear;();;Argument[-1];ReturnValue;taint |
49+
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
50+
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
51+
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
52+
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
53+
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
54+
| Microsoft.Extensions.Primitives;StringValues;false;Concat;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
55+
| Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[0];ReturnValue;taint |
56+
| Microsoft.Extensions.Primitives;StringValues;false;Contains;(System.String);;Argument[-1];ReturnValue;taint |
57+
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[0];ReturnValue;taint |
58+
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[1];ReturnValue;taint |
59+
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Argument[-1];ReturnValue;taint |
60+
| Microsoft.Extensions.Primitives;StringValues;false;CopyTo;(System.String[],System.Int32);;Element of Argument[-1];Element of Argument[0];value |
61+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
62+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
63+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
64+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
65+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[0];ReturnValue;taint |
66+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String);;Argument[1];ReturnValue;taint |
67+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[0];ReturnValue;taint |
68+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(Microsoft.Extensions.Primitives.StringValues,System.String[]);;Argument[1];ReturnValue;taint |
69+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[0];ReturnValue;taint |
70+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.Object);;Argument[-1];ReturnValue;taint |
71+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[0];ReturnValue;taint |
72+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String);;Argument[-1];ReturnValue;taint |
73+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
74+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String,Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
75+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Argument[0];ReturnValue;taint |
76+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[]);;Argument[-1];ReturnValue;taint |
77+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
78+
| Microsoft.Extensions.Primitives;StringValues;false;Equals;(System.String[],Microsoft.Extensions.Primitives.StringValues);;Argument[1];ReturnValue;taint |
79+
| Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Argument[-1];ReturnValue;taint |
80+
| Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value |
81+
| Microsoft.Extensions.Primitives;StringValues;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.IEnumerator.Current] of ReturnValue;value |
82+
| Microsoft.Extensions.Primitives;StringValues;false;GetHashCode;();;Argument[-1];ReturnValue;taint |
83+
| Microsoft.Extensions.Primitives;StringValues;false;IndexOf;(System.String);;Argument[0];ReturnValue;taint |
84+
| Microsoft.Extensions.Primitives;StringValues;false;IndexOf;(System.String);;Argument[-1];ReturnValue;taint |
85+
| Microsoft.Extensions.Primitives;StringValues;false;Insert;(System.Int32,System.String);;Argument[0];ReturnValue;taint |
86+
| Microsoft.Extensions.Primitives;StringValues;false;Insert;(System.Int32,System.String);;Argument[1];Element of Argument[-1];value |
87+
| Microsoft.Extensions.Primitives;StringValues;false;Insert;(System.Int32,System.String);;Argument[1];ReturnValue;taint |
88+
| Microsoft.Extensions.Primitives;StringValues;false;Insert;(System.Int32,System.String);;Argument[-1];ReturnValue;taint |
89+
| Microsoft.Extensions.Primitives;StringValues;false;IsNullOrEmpty;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
90+
| Microsoft.Extensions.Primitives;StringValues;false;Remove;(System.String);;Argument[0];ReturnValue;taint |
91+
| Microsoft.Extensions.Primitives;StringValues;false;Remove;(System.String);;Argument[-1];ReturnValue;taint |
92+
| Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[0];ReturnValue;taint |
93+
| Microsoft.Extensions.Primitives;StringValues;false;RemoveAt;(System.Int32);;Argument[-1];ReturnValue;taint |
94+
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;();;Argument[-1];ReturnValue;taint |
95+
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String);;Argument[0];ReturnValue;taint |
96+
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String);;Argument[-1];ReturnValue;taint |
97+
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Argument[0];ReturnValue;taint |
98+
| Microsoft.Extensions.Primitives;StringValues;false;StringValues;(System.String[]);;Argument[-1];ReturnValue;taint |
99+
| Microsoft.Extensions.Primitives;StringValues;false;ToArray;();;Argument[-1];ReturnValue;taint |
100+
| Microsoft.Extensions.Primitives;StringValues;false;ToString;();;Argument[-1];ReturnValue;taint |
101+
| Microsoft.Extensions.Primitives;StringValues;false;get_Count;();;Argument[-1];ReturnValue;taint |
102+
| Microsoft.Extensions.Primitives;StringValues;false;get_IsReadOnly;();;Argument[-1];ReturnValue;taint |
103+
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[0];ReturnValue;taint |
104+
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Argument[-1];ReturnValue;taint |
105+
| Microsoft.Extensions.Primitives;StringValues;false;get_Item;(System.Int32);;Element of Argument[-1];ReturnValue;value |
106+
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(Microsoft.Extensions.Primitives.StringValues);;Argument[0];ReturnValue;taint |
107+
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(Microsoft.Extensions.Primitives.StringValues);;Argument[-1];ReturnValue;taint |
108+
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String);;Argument[0];ReturnValue;taint |
109+
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String);;Argument[-1];ReturnValue;taint |
110+
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String[]);;Argument[0];ReturnValue;taint |
111+
| Microsoft.Extensions.Primitives;StringValues;false;implicit conversion;(System.String[]);;Argument[-1];ReturnValue;taint |
112+
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[0];ReturnValue;taint |
113+
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[1];Element of Argument[-1];value |
114+
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[1];ReturnValue;taint |
115+
| Microsoft.Extensions.Primitives;StringValues;false;set_Item;(System.Int32,System.String);;Argument[-1];ReturnValue;taint |
1116
| Microsoft.VisualBasic;Collection;false;Add;(System.Object);;Argument[0];Element of Argument[-1];value |
2117
| Microsoft.VisualBasic;Collection;false;CopyTo;(System.Array,System.Int32);;Element of Argument[-1];Element of Argument[0];value |
3118
| Microsoft.VisualBasic;Collection;false;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.IEnumerator.Current] of ReturnValue;value |

0 commit comments

Comments
 (0)