Skip to content

Commit 396bdb3

Browse files
MarcMilMarcMil
committed
Add cutSubFields to some summaries
1 parent a3f6577 commit 396bdb3

File tree

8 files changed

+45
-41
lines changed

8 files changed

+45
-41
lines changed

‎soot-infoflow-summaries/summariesManual/System.String.xml‎

Lines changed: 17 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -43,35 +43,35 @@
4343
</method>
4444
<method id="System.String Concat(System.Object)">
4545
<flows>
46-
<flow isAlias="false" typeChecking="false">
46+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
4747
<from sourceSinkType="Parameter" ParameterIndex="0"/>
4848
<to sourceSinkType="Return" />
4949
</flow>
5050
</flows>
5151
</method>
5252
<method id="System.String Concat(System.Object,System.Object)">
5353
<flows>
54-
<flow isAlias="false" typeChecking="false">
54+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
5555
<from sourceSinkType="Parameter" ParameterIndex="0"/>
5656
<to sourceSinkType="Return" />
5757
</flow>
58-
<flow isAlias="false" typeChecking="false">
58+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
5959
<from sourceSinkType="Parameter" ParameterIndex="1"/>
6060
<to sourceSinkType="Return" />
6161
</flow>
6262
</flows>
6363
</method>
6464
<method id="System.String Concat(System.Object,System.Object,System.Object)">
6565
<flows>
66-
<flow isAlias="false" typeChecking="false">
66+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
6767
<from sourceSinkType="Parameter" ParameterIndex="0"/>
6868
<to sourceSinkType="Return" />
6969
</flow>
70-
<flow isAlias="false" typeChecking="false">
70+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
7171
<from sourceSinkType="Parameter" ParameterIndex="1"/>
7272
<to sourceSinkType="Return" />
7373
</flow>
74-
<flow isAlias="false" typeChecking="false">
74+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
7575
<from sourceSinkType="Parameter" ParameterIndex="2"/>
7676
<to sourceSinkType="Return" />
7777
</flow>
@@ -136,7 +136,7 @@
136136
</method>
137137
<method id="System.String Concat(System.Object[])">
138138
<flows>
139-
<flow isAlias="false" typeChecking="false">
139+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
140140
<from sourceSinkType="Parameter" ParameterIndex="0"/>
141141
<to sourceSinkType="Return" />
142142
</flow>
@@ -164,7 +164,7 @@
164164
<from sourceSinkType="Parameter" ParameterIndex="0"/>
165165
<to sourceSinkType="Return" />
166166
</flow>
167-
<flow isAlias="false" typeChecking="false">
167+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
168168
<from sourceSinkType="Parameter" ParameterIndex="1"/>
169169
<to sourceSinkType="Return" />
170170
</flow>
@@ -200,6 +200,10 @@
200200
<from sourceSinkType="Parameter" ParameterIndex="0"/>
201201
<to sourceSinkType="Return" />
202202
</flow>
203+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
204+
<from sourceSinkType="Parameter" ParameterIndex="1"/>
205+
<to sourceSinkType="Return" />
206+
</flow>
203207
</flows>
204208
</method>
205209
<method id="System.String Trim(char[])">
@@ -232,7 +236,7 @@
232236
<from sourceSinkType="Parameter" ParameterIndex="0" />
233237
<to sourceSinkType="Return" />
234238
</flow>
235-
<flow isAlias="false" typeChecking="false">
239+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
236240
<from sourceSinkType="Parameter" ParameterIndex="1" />
237241
<to sourceSinkType="Return" />
238242
</flow>
@@ -244,11 +248,11 @@
244248
<from sourceSinkType="Parameter" ParameterIndex="0" />
245249
<to sourceSinkType="Return" />
246250
</flow>
247-
<flow isAlias="false" typeChecking="false">
251+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
248252
<from sourceSinkType="Parameter" ParameterIndex="1" />
249253
<to sourceSinkType="Return" />
250254
</flow>
251-
<flow isAlias="false" typeChecking="false">
255+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
252256
<from sourceSinkType="Parameter" ParameterIndex="2" />
253257
<to sourceSinkType="Return" />
254258
</flow>
@@ -260,7 +264,7 @@
260264
<from sourceSinkType="Parameter" ParameterIndex="0" />
261265
<to sourceSinkType="Return" />
262266
</flow>
263-
<flow isAlias="false" typeChecking="false">
267+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
264268
<from sourceSinkType="Parameter" ParameterIndex="1" />
265269
<to sourceSinkType="Return" />
266270
</flow>
@@ -280,7 +284,7 @@
280284
<from sourceSinkType="Parameter" ParameterIndex="0" />
281285
<to sourceSinkType="Return" />
282286
</flow>
283-
<flow isAlias="false" typeChecking="false">
287+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
284288
<from sourceSinkType="Parameter" ParameterIndex="1" />
285289
<to sourceSinkType="Return" />
286290
</flow>

‎soot-infoflow-summaries/summariesManual/System.Text.StringBuilder.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -195,7 +195,7 @@
195195
</method>
196196
<method id="System.Text.StringBuilder Append(System.Object)">
197197
<flows>
198-
<flow isAlias="false" typeChecking="false">
198+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
199199
<from sourceSinkType="Parameter" ParameterIndex="0" />
200200
<to sourceSinkType="Field" />
201201
</flow>

‎soot-infoflow-summaries/summariesManual/java.io.PrintStream.xml‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -105,7 +105,7 @@
105105
</method>
106106
<method id="java.io.PrintStream format(java.lang.String,java.lang.Object[])">
107107
<flows>
108-
<flow isAlias="false" typeChecking="false">
108+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
109109
<from sourceSinkType="Parameter" ParameterIndex="1" />
110110
<to sourceSinkType="Field"
111111
AccessPath="[java.io.PrintStream: java.io.OutputStream innerStream]"
@@ -119,7 +119,7 @@
119119
</method>
120120
<method id="java.io.PrintStream format(java.util.Locale,java.lang.String,java.lang.Object[])">
121121
<flows>
122-
<flow isAlias="false" typeChecking="false">
122+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
123123
<from sourceSinkType="Parameter" ParameterIndex="2" />
124124
<to sourceSinkType="Field"
125125
AccessPath="[java.io.PrintStream: java.io.OutputStream innerStream]"
@@ -203,7 +203,7 @@
203203
</method>
204204
<method id="void print(java.lang.Object)">
205205
<flows>
206-
<flow isAlias="false" typeChecking="false">
206+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
207207
<from sourceSinkType="Parameter" ParameterIndex="0" />
208208
<to sourceSinkType="Field"
209209
AccessPath="[java.io.PrintStream: java.io.OutputStream innerStream]"
@@ -223,7 +223,7 @@
223223
</method>
224224
<method id="java.io.PrintStream printf(java.util.Locale,java.lang.String,java.lang.Object[])">
225225
<flows>
226-
<flow isAlias="false" typeChecking="false">
226+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
227227
<from sourceSinkType="Parameter" ParameterIndex="2" />
228228
<to sourceSinkType="Field"
229229
AccessPath="[java.io.PrintStream: java.io.OutputStream innerStream]"
@@ -237,7 +237,7 @@
237237
</method>
238238
<method id="java.io.PrintStream printf(java.lang.String,java.lang.Object[])">
239239
<flows>
240-
<flow isAlias="false" typeChecking="false">
240+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
241241
<from sourceSinkType="Parameter" ParameterIndex="1" />
242242
<to sourceSinkType="Field"
243243
AccessPath="[java.io.PrintStream: java.io.OutputStream innerStream]"
@@ -321,7 +321,7 @@
321321
</method>
322322
<method id="void println(java.lang.Object)">
323323
<flows>
324-
<flow isAlias="false" typeChecking="false">
324+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
325325
<from sourceSinkType="Parameter" ParameterIndex="0" />
326326
<to sourceSinkType="Field"
327327
AccessPath="[java.io.PrintStream: java.io.OutputStream innerStream]"

‎soot-infoflow-summaries/summariesManual/java.lang.String.xml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -171,7 +171,7 @@
171171
<from sourceSinkType="Parameter" ParameterIndex="1" />
172172
<to sourceSinkType="Return" />
173173
</flow>
174-
<flow isAlias="false" typeChecking="false">
174+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
175175
<from sourceSinkType="Parameter" ParameterIndex="2" />
176176
<to sourceSinkType="Return" />
177177
</flow>
@@ -183,7 +183,7 @@
183183
<from sourceSinkType="Parameter" ParameterIndex="0" />
184184
<to sourceSinkType="Return" />
185185
</flow>
186-
<flow isAlias="false" typeChecking="false">
186+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
187187
<from sourceSinkType="Parameter" ParameterIndex="1" />
188188
<to sourceSinkType="Return" />
189189
</flow>
@@ -447,7 +447,7 @@
447447
</method>
448448
<method id="java.lang.String valueOf(java.lang.Object)">
449449
<flows>
450-
<flow isAlias="false" typeChecking="false">
450+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
451451
<from sourceSinkType="Parameter" ParameterIndex="0" />
452452
<to sourceSinkType="Return" />
453453
</flow>

‎soot-infoflow-summaries/summariesManual/java.lang.StringBuffer.xml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<methods>
44
<method id="void &lt;init&gt;(java.lang.CharSequence)">
55
<flows>
6-
<flow isAlias="false" typeChecking="false" ignoreTypes="true">
6+
<flow isAlias="false" typeChecking="false" ignoreTypes="true" cutSubfields="true">
77
<from sourceSinkType="Parameter" ParameterIndex="0" />
88
<to sourceSinkType="Field"
99
/>
@@ -112,7 +112,7 @@
112112
</method>
113113
<method id="java.lang.StringBuffer append(java.lang.AbstractStringBuffer)">
114114
<flows>
115-
<flow isAlias="false" typeChecking="false">
115+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
116116
<from sourceSinkType="Parameter" ParameterIndex="0" />
117117
<to sourceSinkType="Field"
118118
/>
@@ -125,7 +125,7 @@
125125
</method>
126126
<method id="java.lang.StringBuffer append(java.lang.CharSequence)">
127127
<flows>
128-
<flow isAlias="false" typeChecking="false">
128+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
129129
<from sourceSinkType="Parameter" ParameterIndex="0" />
130130
<to sourceSinkType="Field"
131131
/>
@@ -138,7 +138,7 @@
138138
</method>
139139
<method id="java.lang.StringBuffer append(java.lang.CharSequence,int,int)">
140140
<flows>
141-
<flow isAlias="false" typeChecking="false">
141+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
142142
<from sourceSinkType="Parameter" ParameterIndex="0" />
143143
<to sourceSinkType="Field"
144144
/>
@@ -151,7 +151,7 @@
151151
</method>
152152
<method id="java.lang.StringBuffer append(java.lang.Object)">
153153
<flows>
154-
<flow isAlias="false" typeChecking="false">
154+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
155155
<from sourceSinkType="Parameter" ParameterIndex="0" />
156156
<to sourceSinkType="Field"
157157
/>
@@ -307,7 +307,7 @@
307307
</method>
308308
<method id="java.lang.StringBuffer insert(int,java.lang.CharSequence)">
309309
<flows>
310-
<flow isAlias="false" typeChecking="false">
310+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
311311
<from sourceSinkType="Parameter" ParameterIndex="1" />
312312
<to sourceSinkType="Field"
313313
/>
@@ -320,7 +320,7 @@
320320
</method>
321321
<method id="java.lang.StringBuffer insert(int,java.lang.CharSequence,int,int)">
322322
<flows>
323-
<flow isAlias="false" typeChecking="false">
323+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
324324
<from sourceSinkType="Parameter" ParameterIndex="1" />
325325
<to sourceSinkType="Field"
326326
/>
@@ -333,7 +333,7 @@
333333
</method>
334334
<method id="java.lang.StringBuffer insert(int,java.lang.Object)">
335335
<flows>
336-
<flow isAlias="false" typeChecking="false">
336+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
337337
<from sourceSinkType="Parameter" ParameterIndex="1" />
338338
<to sourceSinkType="Field"
339339
/>

‎soot-infoflow-summaries/summariesManual/java.lang.StringBuilder.xml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<methods>
44
<method id="void &lt;init&gt;(java.lang.CharSequence)">
55
<flows>
6-
<flow isAlias="false" typeChecking="false" ignoreTypes="true">
6+
<flow isAlias="false" typeChecking="false" ignoreTypes="true" cutSubfields="true">
77
<from sourceSinkType="Parameter" ParameterIndex="0" />
88
<to sourceSinkType="Field" />
99
</flow>
@@ -103,7 +103,7 @@
103103
</method>
104104
<method id="java.lang.StringBuilder append(java.lang.CharSequence)">
105105
<flows>
106-
<flow isAlias="false" typeChecking="false">
106+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
107107
<from sourceSinkType="Parameter" ParameterIndex="0" />
108108
<to sourceSinkType="Field" />
109109
</flow>
@@ -115,7 +115,7 @@
115115
</method>
116116
<method id="java.lang.StringBuilder append(java.lang.CharSequence,int,int)">
117117
<flows>
118-
<flow isAlias="false" typeChecking="false">
118+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
119119
<from sourceSinkType="Parameter" ParameterIndex="0" />
120120
<to sourceSinkType="Field" />
121121
</flow>
@@ -127,7 +127,7 @@
127127
</method>
128128
<method id="java.lang.StringBuilder append(java.lang.Object)">
129129
<flows>
130-
<flow isAlias="false" typeChecking="false">
130+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
131131
<from sourceSinkType="Parameter" ParameterIndex="0" />
132132
<to sourceSinkType="Field" />
133133
</flow>
@@ -151,7 +151,7 @@
151151
</method>
152152
<method id="java.lang.StringBuilder append(java.lang.StringBuffer)">
153153
<flows>
154-
<flow isAlias="false" typeChecking="false">
154+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
155155
<from sourceSinkType="Parameter" ParameterIndex="0" />
156156
<to sourceSinkType="Field" />
157157
</flow>
@@ -277,7 +277,7 @@
277277
</method>
278278
<method id="java.lang.StringBuilder insert(int,java.lang.CharSequence)">
279279
<flows>
280-
<flow isAlias="false" typeChecking="false">
280+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
281281
<from sourceSinkType="Parameter" ParameterIndex="1" />
282282
<to sourceSinkType="Field"
283283
/>
@@ -290,7 +290,7 @@
290290
</method>
291291
<method id="java.lang.StringBuilder insert(int,java.lang.CharSequence,int,int)">
292292
<flows>
293-
<flow isAlias="false" typeChecking="false">
293+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
294294
<from sourceSinkType="Parameter" ParameterIndex="1" />
295295
<to sourceSinkType="Field"
296296
/>
@@ -303,7 +303,7 @@
303303
</method>
304304
<method id="java.lang.StringBuilder insert(int,java.lang.Object)">
305305
<flows>
306-
<flow isAlias="false" typeChecking="false">
306+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
307307
<from sourceSinkType="Parameter" ParameterIndex="1" />
308308
<to sourceSinkType="Field"
309309
/>

‎soot-infoflow-summaries/summariesManual/java.lang.invoke.StringConcatFactory.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616

1717
<method id="java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])">
1818
<flows>
19-
<flow isAlias="false">
19+
<flow isAlias="false" cutSubfields="true">
2020
<from sourceSinkType="Parameter" ParameterIndex="*" />
2121
<to sourceSinkType="Return" />
2222
</flow>

‎soot-infoflow-summaries/summariesManual/java.util.Arrays.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -372,7 +372,7 @@
372372
</method>
373373
<method id="java.lang.String toString(java.lang.Object[])">
374374
<flows>
375-
<flow isAlias="false" typeChecking="false">
375+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
376376
<from sourceSinkType="Parameter" ParameterIndex="0" />
377377
<to sourceSinkType="Return" />
378378
</flow>

0 commit comments

Comments
 (0)