Skip to content

Commit fb39e0f

Browse files
artem-smotrakovsmowton
authored andcommitted
Java: Added flow steps for DataInput and ObjectInput
1 parent 3737248 commit fb39e0f

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

java/ql/lib/semmle/code/java/frameworks/JavaIo.qll

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,10 @@ private class JavaIoSummaryCsv extends SummaryModelCsv {
1313
"java.io;Writer;true;write;;;Argument[0];Argument[-1];taint",
1414
"java.io;Writer;true;toString;;;Argument[-1];ReturnValue;taint",
1515
"java.io;CharArrayWriter;true;toCharArray;;;Argument[-1];ReturnValue;taint",
16+
"java.io;ObjectInput;true;read;;;Argument[-1];Argument[0];taint",
17+
"java.io;DataInput;true;readFully;;;Argument[-1];Argument[0];taint",
18+
"java.io;DataInput;true;readLine;();;Argument[-1];Argument[0];taint",
19+
"java.io;DataInput;true;readUTF;();;Argument[-1];Argument[0];taint",
1620
"java.nio.channels;ReadableByteChannel;true;read;(ByteBuffer);;Argument[-1];Argument[0];taint",
1721
"java.nio.channels;Channels;false;newChannel;(InputStream);;Argument[0];ReturnValue;taint"
1822
]

0 commit comments

Comments
 (0)