Skip to content

Commit a4ffefd

Browse files
StevenArztStevenArzt
committed
Merge branch 'develop' of github.com:secure-software-engineering/FlowDroid into develop
2 parents 0f6b2a9 + 2ad9570 commit a4ffefd

File tree

3 files changed

+68
-0
lines changed

3 files changed

+68
-0
lines changed

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
<?xml version="1.0" ?>
22
<summary fileFormatVersion="101">
3+
<hierarchy>
4+
<interface name="java.io.Reader" />
5+
</hierarchy>
36
<methods>
47
<method id="void &lt;init&gt;(java.lang.String)">
58
<flows>

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
<?xml version="1.0" ?>
22
<summary fileFormatVersion="101">
3+
<hierarchy>
4+
<interface name="java.io.Writer" />
5+
</hierarchy>
36
<methods>
47
<method id="java.io.StringWriter append(char)">
58
<flows>

‎soot-infoflow-summaries/summariesManual/javax.xml.transform.stream.StreamSource.xml‎

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<summary fileFormatVersion="103">
3+
<hierarchy>
4+
<interface name="javax.xml.transform.Source" />
5+
</hierarchy>
6+
<methods>
7+
<method id="void &lt;init&gt;(java.io.File)">
8+
<flows>
9+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
10+
<from sourceSinkType="Parameter" ParameterIndex="0" />
11+
<to sourceSinkType="Field" AccessPath="[javax.xml.transform.stream.StreamSource: java.lang.Object content]"
12+
AccessPathTypes="[java.lang.Object]" />
13+
</flow>
14+
</flows>
15+
</method>
16+
<method id="void &lt;init&gt;(java.io.InputStream)">
17+
<flows>
18+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
19+
<from sourceSinkType="Parameter" ParameterIndex="0" />
20+
<to sourceSinkType="Field" AccessPath="[javax.xml.transform.stream.StreamSource: java.lang.Object content]"
21+
AccessPathTypes="[java.lang.Object]" />
22+
</flow>
23+
</flows>
24+
</method>
25+
<method id="void &lt;init&gt;(java.io.InputStream,java.lang.String)">
26+
<flows>
27+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
28+
<from sourceSinkType="Parameter" ParameterIndex="0" />
29+
<to sourceSinkType="Field" AccessPath="[javax.xml.transform.stream.StreamSource: java.lang.Object content]"
30+
AccessPathTypes="[java.lang.Object]" />
31+
</flow>
32+
</flows>
33+
</method>
34+
<method id="void &lt;init&gt;(java.io.Reader)">
35+
<flows>
36+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
37+
<from sourceSinkType="Parameter" ParameterIndex="0" />
38+
<to sourceSinkType="Field" AccessPath="[javax.xml.transform.stream.StreamSource: java.lang.Object content]"
39+
AccessPathTypes="[java.lang.Object]" />
40+
</flow>
41+
</flows>
42+
</method>
43+
<method id="void &lt;init&gt;(java.io.Reader,java.lang.String)">
44+
<flows>
45+
<flow isAlias="false" typeChecking="false" cutSubfields="true">
46+
<from sourceSinkType="Parameter" ParameterIndex="0" />
47+
<to sourceSinkType="Field" AccessPath="[javax.xml.transform.stream.StreamSource: java.lang.Object content]"
48+
AccessPathTypes="[java.lang.Object]" />
49+
</flow>
50+
</flows>
51+
</method>
52+
<method id="void &lt;init&gt;(java.lang.String)">
53+
<flows>
54+
<flow isAlias="false" typeChecking="false">
55+
<from sourceSinkType="Parameter" ParameterIndex="0" />
56+
<to sourceSinkType="Field" AccessPath="[javax.xml.transform.stream.StreamSource: java.lang.Object content]"
57+
AccessPathTypes="[java.lang.Object]" />
58+
</flow>
59+
</flows>
60+
</method>
61+
</methods>
62+
</summary>

0 commit comments

Comments
 (0)