Skip to content

Commit f6c2730

Browse files
StevenArztStevenArzt
committed
added new data flow summary
1 parent 18d3270 commit f6c2730

1 file changed

Lines changed: 61 additions & 0 deletions

File tree

‎soot-infoflow-summaries/summariesManual/java.text.SimpleDateFormat.xml‎

Lines changed: 61 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,61 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<hierarchy superClass="java.text.DateFormat">
4+
<interface name="java.io.Serializable" />
5+
<interface name="java.lang.Cloneable" />
6+
</hierarchy>
7+
<methods>
8+
<method id="void &lt;init&gt;(java.lang.String)">
9+
<flows>
10+
<flow isAlias="false" typeChecking="false">
11+
<from sourceSinkType="Parameter" ParameterIndex="0" />
12+
<to sourceSinkType="Field" />
13+
</flow>
14+
</flows>
15+
</method>
16+
<method id="void &lt;init&gt;(java.lang.String,java.text.DateFormatSymbols)">
17+
<flows>
18+
<flow isAlias="false" typeChecking="false">
19+
<from sourceSinkType="Parameter" ParameterIndex="0" />
20+
<to sourceSinkType="Field" />
21+
</flow>
22+
</flows>
23+
</method>
24+
<method id="void &lt;init&gt;(java.lang.String,java.util.Locale)">
25+
<flows>
26+
<flow isAlias="false" typeChecking="false">
27+
<from sourceSinkType="Parameter" ParameterIndex="0" />
28+
<to sourceSinkType="Field" />
29+
</flow>
30+
</flows>
31+
</method>
32+
<method id="java.lang.StringBuffer format(java.util.Date,java.lang.StringBuffer,java.text.FieldPosition)">
33+
<flows>
34+
<flow isAlias="false" typeChecking="false">
35+
<from sourceSinkType="Field" />
36+
<to sourceSinkType="Return" />
37+
</flow>
38+
<flow isAlias="false" typeChecking="false">
39+
<from sourceSinkType="Parameter" ParameterIndex="0" />
40+
<to sourceSinkType="Return" />
41+
</flow>
42+
<flow isAlias="false" typeChecking="false">
43+
<from sourceSinkType="Parameter" ParameterIndex="1" />
44+
<to sourceSinkType="Return" />
45+
</flow>
46+
</flows>
47+
</method>
48+
<method id="java.util.Date format(java.lang.String,java.text.ParsePosition)">
49+
<flows>
50+
<flow isAlias="false" typeChecking="false">
51+
<from sourceSinkType="Field" />
52+
<to sourceSinkType="Return" />
53+
</flow>
54+
<flow isAlias="false" typeChecking="false">
55+
<from sourceSinkType="Parameter" ParameterIndex="0" />
56+
<to sourceSinkType="Return" />
57+
</flow>
58+
</flows>
59+
</method>
60+
</methods>
61+
</summary>

0 commit comments

Comments
 (0)