Skip to content

Commit ef0aeb9

Browse files
committed
taint a URLConnection if it is created from a tainted URL
1 parent 211b73e commit ef0aeb9

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

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

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -553,5 +553,15 @@
553553
</flow>
554554
</flows>
555555
</method>
556+
<method id="java.net.URLConnection openConnection()">
557+
<flows>
558+
<flow isAlias="false" typeChecking="false">
559+
<from sourceSinkType="Field" />
560+
<to sourceSinkType="Return" BaseType="java.net.URLConnection"
561+
AccessPath="[java.net.URLConnection: java.net.URL url]"
562+
AccessPathTypes="[java.net.URL]" />
563+
</flow>
564+
</flows>
565+
</method>
556566
</methods>
557567
</summary>

0 commit comments

Comments
 (0)