Skip to content

Commit 2a471c4

Browse files
committed
Java: Add MaDs for java.lang.scoped
1 parent 762a541 commit 2a471c4

File tree

1 file changed

+19
-0
lines changed

1 file changed

+19
-0
lines changed
Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/java-all
4+
extensible: summaryModel
5+
data:
6+
- ["java.lang", "ScopedValue", False, "where", "(ScopedValue,Object)", "", "Argument[1]", "Argument[0].SyntheticField[java.lang.ScopedValue.boundValue]", "value", "manual"]
7+
- ["java.lang", "ScopedValue", True, "get", "()", "", "Argument[this].SyntheticField[java.lang.ScopedValue.boundValue]", "ReturnValue", "value", "manual"]
8+
- ["java.lang", "ScopedValue", False, "where", "(ScopedValue,Object)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
9+
- ["java.lang", "ScopedValue$Carrier", False, "where", "(ScopedValue,Object)", "", "Argument[1]", "Argument[0].SyntheticField[java.lang.ScopedValue.boundValue]", "value", "manual"]
10+
- ["java.lang", "ScopedValue$Carrier", False, "where", "(ScopedValue,Object)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
11+
12+
- addsTo:
13+
pack: codeql/java-all
14+
extensible: neutralModel
15+
data:
16+
- ["java.lang", "ScopedValue", "newInstance", "()", "summary", "manual"]
17+
- ["java.lang", "ScopedValue", "isBound", "()", "summary", "manual"]
18+
- ["java.lang", "ScopedValue$Carrier", "run", "(Runnable)", "summary", "manual"]
19+
- ["java.lang", "ScopedValue$Carrier", "call", "(Callable)", "summary", "manual"]

0 commit comments

Comments
 (0)