Skip to content

Commit 6662438

Browse files
StevenArztStevenArzt
authored
Merge pull request #351 from MarcMil/summaryadded
Add scanner summary
2 parents ce76979 + 87f8f14 commit 6662438

1 file changed

Lines changed: 317 additions & 0 deletions

File tree

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

Lines changed: 317 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,317 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<hierarchy superClass="java.lang.Object">
4+
<interface name="java.io.Closeable" />
5+
<interface name="java.util.Iterator" />
6+
</hierarchy>
7+
<methods>
8+
<method id="void &lt;init&gt;(java.io.InputStream)">
9+
<flows>
10+
<flow isAlias="true">
11+
<from sourceSinkType="Parameter" ParameterIndex="0" />
12+
<to sourceSinkType="Field"
13+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
14+
AccessPathTypes="[java.io.InputStream]" />
15+
</flow>
16+
</flows>
17+
</method>
18+
<method id="void &lt;init&gt;(java.io.InputStream,java.lang.String)">
19+
<flows>
20+
<flow isAlias="true">
21+
<from sourceSinkType="Parameter" ParameterIndex="0" />
22+
<to sourceSinkType="Field"
23+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
24+
AccessPathTypes="[java.io.InputStream]" />
25+
</flow>
26+
</flows>
27+
</method>
28+
<method id="void &lt;init&gt;(java.io.InputStream,java.nio.charset.Charset)">
29+
<flows>
30+
<flow isAlias="true">
31+
<from sourceSinkType="Parameter" ParameterIndex="0" />
32+
<to sourceSinkType="Field"
33+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
34+
AccessPathTypes="[java.io.InputStream]" />
35+
</flow>
36+
</flows>
37+
</method>
38+
<method id="void &lt;init&gt;(java.io.File)">
39+
<flows>
40+
<flow isAlias="false" typeChecking="false">
41+
<from sourceSinkType="Parameter" ParameterIndex="0" />
42+
<to sourceSinkType="Field"
43+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
44+
AccessPathTypes="[java.io.InputStream]" />
45+
</flow>
46+
</flows>
47+
</method>
48+
<method id="void &lt;init&gt;(java.io.File,java.lang.String)">
49+
<flows>
50+
<flow isAlias="false" typeChecking="false">
51+
<from sourceSinkType="Parameter" ParameterIndex="0" />
52+
<to sourceSinkType="Field"
53+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
54+
AccessPathTypes="[java.io.InputStream]" />
55+
</flow>
56+
</flows>
57+
</method>
58+
<method id="void &lt;init&gt;(java.io.File,java.nio.charset.Charset)">
59+
<flows>
60+
<flow isAlias="false" typeChecking="false">
61+
<from sourceSinkType="Parameter" ParameterIndex="0" />
62+
<to sourceSinkType="Field"
63+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
64+
AccessPathTypes="[java.io.InputStream]" />
65+
</flow>
66+
</flows>
67+
</method>
68+
<method id="void &lt;init&gt;(java.lang.Readable)">
69+
<flows>
70+
<flow isAlias="false" typeChecking="false">
71+
<from sourceSinkType="Parameter" ParameterIndex="0" />
72+
<to sourceSinkType="Field"
73+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
74+
AccessPathTypes="[java.io.InputStream]" />
75+
</flow>
76+
</flows>
77+
</method>
78+
<method id="void &lt;init&gt;(java.lang.String)">
79+
<flows>
80+
<flow isAlias="false" typeChecking="false">
81+
<from sourceSinkType="Parameter" ParameterIndex="0" />
82+
<to sourceSinkType="Field"
83+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
84+
AccessPathTypes="[java.io.InputStream]" />
85+
</flow>
86+
</flows>
87+
</method>
88+
<method id="void &lt;init&gt;(java.nio.channels.ReadableByteChannel)">
89+
<flows>
90+
<flow isAlias="false" typeChecking="false">
91+
<from sourceSinkType="Parameter" ParameterIndex="0" />
92+
<to sourceSinkType="Field"
93+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
94+
AccessPathTypes="[java.io.InputStream]" />
95+
</flow>
96+
</flows>
97+
</method>
98+
<method id="void &lt;init&gt;(java.nio.channels.ReadableByteChannel,java.lang.String)">
99+
<flows>
100+
<flow isAlias="false" typeChecking="false">
101+
<from sourceSinkType="Parameter" ParameterIndex="0" />
102+
<to sourceSinkType="Field"
103+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
104+
AccessPathTypes="[java.io.InputStream]" />
105+
</flow>
106+
</flows>
107+
</method>
108+
<method id="void &lt;init&gt;(java.nio.channels.ReadableByteChannel,java.nio.charset.Charset)">
109+
<flows>
110+
<flow isAlias="false" typeChecking="false">
111+
<from sourceSinkType="Parameter" ParameterIndex="0" />
112+
<to sourceSinkType="Field"
113+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
114+
AccessPathTypes="[java.io.InputStream]" />
115+
</flow>
116+
</flows>
117+
</method>
118+
<method id="void &lt;init&gt;(java.nio.file.Path)">
119+
<flows>
120+
<flow isAlias="false" typeChecking="false">
121+
<from sourceSinkType="Parameter" ParameterIndex="0" />
122+
<to sourceSinkType="Field"
123+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
124+
AccessPathTypes="[java.io.InputStream]" />
125+
</flow>
126+
</flows>
127+
</method>
128+
<method id="void &lt;init&gt;(java.nio.file.Path,java.lang.String)">
129+
<flows>
130+
<flow isAlias="false" typeChecking="false">
131+
<from sourceSinkType="Parameter" ParameterIndex="0" />
132+
<to sourceSinkType="Field"
133+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
134+
AccessPathTypes="[java.io.InputStream]" />
135+
</flow>
136+
</flows>
137+
</method>
138+
<method id="void &lt;init&gt;(java.nio.file.Path,java.nio.charset.Charset)">
139+
<flows>
140+
<flow isAlias="false" typeChecking="false">
141+
<from sourceSinkType="Parameter" ParameterIndex="0" />
142+
<to sourceSinkType="Field"
143+
AccessPath="[java.util.Scanner: java.io.InputStream innerStream]"
144+
AccessPathTypes="[java.io.InputStream]" />
145+
</flow>
146+
</flows>
147+
</method>
148+
<method id="java.util.Scanner: java.util.regex.MatchResult match()">
149+
<flows>
150+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
151+
<from sourceSinkType="Field" />
152+
<to sourceSinkType="Return" />
153+
</flow>
154+
</flows>
155+
</method>
156+
<method id="java.util.Scanner: java.lang.String next()">
157+
<flows>
158+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
159+
<from sourceSinkType="Field" />
160+
<to sourceSinkType="Return" />
161+
</flow>
162+
</flows>
163+
</method>
164+
<method id="java.util.Scanner: java.lang.String next(java.lang.String)">
165+
<flows>
166+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
167+
<from sourceSinkType="Field" />
168+
<to sourceSinkType="Return" />
169+
</flow>
170+
</flows>
171+
</method>
172+
<method id="java.util.Scanner: java.lang.String next(java.util.regex.Pattern)">
173+
<flows>
174+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
175+
<from sourceSinkType="Field" />
176+
<to sourceSinkType="Return" />
177+
</flow>
178+
</flows>
179+
</method>
180+
<method id="java.util.Scanner: java.lang.String nextLine()">
181+
<flows>
182+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
183+
<from sourceSinkType="Field" />
184+
<to sourceSinkType="Return" />
185+
</flow>
186+
</flows>
187+
</method>
188+
<method id="java.util.Scanner: java.lang.String findInLine(java.lang.String)">
189+
<flows>
190+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
191+
<from sourceSinkType="Field" />
192+
<to sourceSinkType="Return" />
193+
</flow>
194+
</flows>
195+
</method>
196+
<method id="java.util.Scanner: java.lang.String findInLine(java.util.regex.Pattern)">
197+
<flows>
198+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
199+
<from sourceSinkType="Field" />
200+
<to sourceSinkType="Return" />
201+
</flow>
202+
</flows>
203+
</method>
204+
<method id="java.util.Scanner: java.lang.String findWithinHorizon(java.lang.String,int)">
205+
<flows>
206+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
207+
<from sourceSinkType="Field" />
208+
<to sourceSinkType="Return" />
209+
</flow>
210+
</flows>
211+
</method>
212+
<method id="java.util.Scanner: java.lang.String findWithinHorizon(java.util.regex.Pattern,int)">
213+
<flows>
214+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
215+
<from sourceSinkType="Field" />
216+
<to sourceSinkType="Return" />
217+
</flow>
218+
</flows>
219+
</method>
220+
<method id="java.util.Scanner: boolean nextBoolean()">
221+
<flows>
222+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
223+
<from sourceSinkType="Field" />
224+
<to sourceSinkType="Return" />
225+
</flow>
226+
</flows>
227+
</method>
228+
<method id="java.util.Scanner: byte nextByte()">
229+
<flows>
230+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
231+
<from sourceSinkType="Field" />
232+
<to sourceSinkType="Return" />
233+
</flow>
234+
</flows>
235+
</method>
236+
<method id="java.util.Scanner: byte nextByte(int)">
237+
<flows>
238+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
239+
<from sourceSinkType="Field" />
240+
<to sourceSinkType="Return" />
241+
</flow>
242+
</flows>
243+
</method>
244+
<method id="java.util.Scanner: short nextShort()">
245+
<flows>
246+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
247+
<from sourceSinkType="Field" />
248+
<to sourceSinkType="Return" />
249+
</flow>
250+
</flows>
251+
</method>
252+
<method id="java.util.Scanner: int nextInt()">
253+
<flows>
254+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
255+
<from sourceSinkType="Field" />
256+
<to sourceSinkType="Return" />
257+
</flow>
258+
</flows>
259+
</method>
260+
<method id="java.util.Scanner: int nextInt(int)">
261+
<flows>
262+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
263+
<from sourceSinkType="Field" />
264+
<to sourceSinkType="Return" />
265+
</flow>
266+
</flows>
267+
</method>
268+
<method id="java.util.Scanner: long nextLong(int)">
269+
<flows>
270+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
271+
<from sourceSinkType="Field" />
272+
<to sourceSinkType="Return" />
273+
</flow>
274+
</flows>
275+
</method>
276+
<method id="java.util.Scanner: float nextFloat()">
277+
<flows>
278+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
279+
<from sourceSinkType="Field" />
280+
<to sourceSinkType="Return" />
281+
</flow>
282+
</flows>
283+
</method>
284+
<method id="java.util.Scanner: double nextDouble()">
285+
<flows>
286+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
287+
<from sourceSinkType="Field" />
288+
<to sourceSinkType="Return" />
289+
</flow>
290+
</flows>
291+
</method>
292+
<method id="java.util.Scanner: java.math.BigInteger nextBigInteger()">
293+
<flows>
294+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
295+
<from sourceSinkType="Field" />
296+
<to sourceSinkType="Return" />
297+
</flow>
298+
</flows>
299+
</method>
300+
<method id="java.util.Scanner: java.math.BigInteger nextBigInteger(int)">
301+
<flows>
302+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
303+
<from sourceSinkType="Field" />
304+
<to sourceSinkType="Return" />
305+
</flow>
306+
</flows>
307+
</method>
308+
<method id="java.util.Scanner: java.math.BigDecimal nextBigDecimal()">
309+
<flows>
310+
<flow isAlias="false" cutSubfields="true" typeChecking="false">
311+
<from sourceSinkType="Field" />
312+
<to sourceSinkType="Return" />
313+
</flow>
314+
</flows>
315+
</method>
316+
</methods>
317+
</summary>

0 commit comments

Comments
 (0)