Skip to content

Commit 864382e

Browse files
StevenArztStevenArzt
committed
added hierarchy summaries
1 parent b44346b commit 864382e

4 files changed

Lines changed: 17 additions & 0 deletions

File tree

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<hierarchy superClass="java.io.InputStream" />
4+
</summary>

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
<?xml version="1.0" ?>
2+
<summary fileFormatVersion="101">
3+
<hierarchy superClass="java.io.OutputStream" />
4+
</summary>

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
11
<?xml version="1.0" ?>
22
<summary fileFormatVersion="101">
3+
<hierarchy superClass="java.lang.Object">
4+
<interface name="java.io.Closeable" />
5+
<interface name="java.lang.AutoCloseable" />
6+
</hierarchy>
37
<methods>
48
<method id="int read()">
59
<flows>

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,10 @@
11
<?xml version="1.0" ?>
22
<summary fileFormatVersion="101">
3+
<hierarchy superClass="java.lang.Object">
4+
<interface name="java.io.Closeable" />
5+
<interface name="java.io.Flushable" />
6+
<interface name="java.lang.AutoCloseable" />
7+
</hierarchy>
38
<methods>
49
<method id="void write(byte[])">
510
<flows>

0 commit comments

Comments
 (0)