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

Model basic channel APIs

Browse Source
This commit is contained in:
Benjamin Muskalla
2022-01-18 10:40:39 +01:00
parent a4429d01a3
commit 8e6a15640f
3 changed files with 29 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -11,7 +11,10 @@ private class JavaIoSummaryCsv extends SummaryModelCsv {
"java.lang;Appendable;true;append;;;Argument[0];Argument[-1];taint",
"java.lang;Appendable;true;append;;;Argument[-1];ReturnValue;taint",
"java.io;Writer;true;write;;;Argument[0];Argument[-1];taint",
"java.io;StringWriter;false;toString;;;Argument[-1];ReturnValue;taint"
"java.io;Writer;true;toString;;;Argument[-1];ReturnValue;taint",
"java.io;CharArrayWriter;true;toCharArray;;;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"
]
}
}