Skip to content

Commit 0c651af

Browse files
committed
Java: Address review comment. Fix dataflow model
1 parent c19f292 commit 0c651af

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

java/ql/lib/ext/java.lang.scoped.model.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,12 +8,12 @@ extensions:
88
- ["java.lang", "ScopedValue", False, "where", "(ScopedValue,Object)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
99
- ["java.lang", "ScopedValue$Carrier", False, "where", "(ScopedValue,Object)", "", "Argument[1]", "Argument[0].SyntheticField[java.lang.ScopedValue.boundValue]", "value", "manual"]
1010
- ["java.lang", "ScopedValue$Carrier", False, "where", "(ScopedValue,Object)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
11+
- ["java.lang", "ScopedValue$Carrier", False, "run", "(Runnable)", "", "Argument[this]", "ReturnValue", "taint", "manual"]
12+
- ["java.lang", "ScopedValue$Carrier", False, "call", "(Callable)", "", "Argument[this]", "ReturnValue", "taint", "manual"]
1113

1214
- addsTo:
1315
pack: codeql/java-all
1416
extensible: neutralModel
1517
data:
1618
- ["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"]
19+
- ["java.lang", "ScopedValue", "isBound", "()", "summary", "manual"]

0 commit comments

Comments
 (0)