Skip to content

Commit f9e6b3c

Browse files
committed
Add new URL(tainted) as taint step
1 parent 7ff4d36 commit f9e6b3c

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -295,6 +295,7 @@ private predicate summaryModelCsv(string row) {
295295
"java.io;File;false;File;;;Argument[0];Argument[-1];taint",
296296
"java.io;File;false;File;;;Argument[1];Argument[-1];taint",
297297
"java.net;URI;false;URI;(String);;Argument[0];Argument[-1];taint",
298+
"java.net;URL;false;URL;(String);;Argument[0];Argument[-1];taint",
298299
"javax.xml.transform.stream;StreamSource;false;StreamSource;;;Argument[0];Argument[-1];taint",
299300
"javax.xml.transform.sax;SAXSource;false;SAXSource;(InputSource);;Argument[0];Argument[-1];taint",
300301
"javax.xml.transform.sax;SAXSource;false;SAXSource;(XMLReader,InputSource);;Argument[1];Argument[-1];taint",

0 commit comments

Comments
 (0)