hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 13:15:21 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fixed model for DataInput

Browse Source 
Co-authored-by: Marcono1234 <Marcono1234@users.noreply.github.com>
This commit is contained in:
Artem Smotrakov
2022-04-16 19:12:27 +01:00
committed by Chris Smowton
parent 269143a19f
commit 5c6aa15fe5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/frameworks/JavaIo.qll
View File

@@ -15,8 +15,8 @@ private class JavaIoSummaryCsv extends SummaryModelCsv {
"java.io;CharArrayWriter;true;toCharArray;;;Argument[-1];ReturnValue;taint",
"java.io;ObjectInput;true;read;;;Argument[-1];Argument[0];taint",
"java.io;DataInput;true;readFully;;;Argument[-1];Argument[0];taint",
"java.io;DataInput;true;readLine;();;Argument[-1];Argument[0];taint",
"java.io;DataInput;true;readUTF;();;Argument[-1];Argument[0];taint",
"java.io;DataInput;true;readLine;();;Argument[-1];ReturnValue;taint",
"java.io;DataInput;true;readUTF;();;Argument[-1];ReturnValue;taint",
"java.nio.channels;ReadableByteChannel;true;read;(ByteBuffer);;Argument[-1];Argument[0];taint",
"java.nio.channels;Channels;false;newChannel;(InputStream);;Argument[0];ReturnValue;taint"
]