forked from github/codeql
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathObjects.qll
More file actions
18 lines (16 loc) · 758 Bytes
/
Copy pathObjects.qll
File metadata and controls
18 lines (16 loc) · 758 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
/** Definitions of taint steps in Objects class of the JDK */
import java
private import semmle.code.java.dataflow.ExternalFlow
private class ObjectsSummaryCsv extends SummaryModelCsv {
override predicate row(string row) {
row =
[
//`namespace; type; subtypes; name; signature; ext; input; output; kind`
"java.util;Objects;false;requireNonNull;;;Argument[0];ReturnValue;value",
"java.util;Objects;false;requireNonNullElse;;;Argument[0];ReturnValue;value",
"java.util;Objects;false;requireNonNullElse;;;Argument[1];ReturnValue;value",
"java.util;Objects;false;requireNonNullElseGet;;;Argument[0];ReturnValue;value",
"java.util;Objects;false;toString;;;Argument[1];ReturnValue;value"
]
}
}