Skip to content

Commit 5941752

Browse files
committed
fixed a broken summary
1 parent 94b8425 commit 5941752

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

soot-infoflow-summaries/summariesManual/java.net.InetSocketAddress.xml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,7 @@
8484
<method id="java.net.InetAddress getHostName()">
8585
<flows>
8686
<flow isAlias="false" typeChecking="false">
87-
<from sourceSinkType="Return" BaseType="java.net.InetSocketAddress"
87+
<from sourceSinkType="Field" BaseType="java.net.InetSocketAddress"
8888
AccessPath="[java.net.InetSocketAddress: java.net.InetAddress address,java.net.InetAddress: java.lang.String host]"
8989
AccessPathTypes="[java.net.InetAddress,java.lang.String]" />
9090
<to sourceSinkType="Return" />
@@ -94,7 +94,7 @@
9494
<method id="java.net.InetAddress getHostString()">
9595
<flows>
9696
<flow isAlias="false" typeChecking="false">
97-
<from sourceSinkType="Return" BaseType="java.net.InetSocketAddress"
97+
<from sourceSinkType="Field" BaseType="java.net.InetSocketAddress"
9898
AccessPath="[java.net.InetSocketAddress: java.net.InetAddress address,java.net.InetAddress: java.lang.String host]"
9999
AccessPathTypes="[java.net.InetAddress,java.lang.String]" />
100100
<to sourceSinkType="Return" />

0 commit comments

Comments
 (0)