Skip to content

Commit 2a99af0

Browse files
Jami CogswellJami Cogswell
authored andcommitted
Java: remove summary model for String.endsWith
1 parent 99ee6c9 commit 2a99af0

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

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

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,6 @@ extensions:
6363
- ["java.lang", "String", False, "concat", "(String)", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
6464
- ["java.lang", "String", False, "concat", "(String)", "", "Argument[0]", "ReturnValue", "taint", "manual"]
6565
- ["java.lang", "String", False, "copyValueOf", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
66-
- ["java.lang", "String", False, "endsWith", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"] # ! why is this a summary model and not a neutral model instead? it returns a boolean
6766
- ["java.lang", "String", False, "format", "(Locale,String,Object[])", "", "Argument[1]", "ReturnValue", "taint", "manual"]
6867
- ["java.lang", "String", False, "format", "(Locale,String,Object[])", "", "Argument[2].ArrayElement", "ReturnValue", "taint", "manual"]
6968
- ["java.lang", "String", False, "format", "(String,Object[])", "", "Argument[0]", "ReturnValue", "taint", "manual"]
@@ -129,7 +128,7 @@ extensions:
129128
- ["java.lang", "Object", "hashCode", "()", "manual"]
130129
- ["java.lang", "Object", "toString", "()", "manual"]
131130
- ["java.lang", "String", "contains", "(CharSequence)", "manual"]
132-
- ["java.lang", "String", "endsWith", "(String)", "manual"] # ! see question on line 65 above
131+
- ["java.lang", "String", "endsWith", "(String)", "manual"]
133132
- ["java.lang", "String", "equals", "(Object)", "manual"]
134133
- ["java.lang", "String", "equalsIgnoreCase", "(String)", "manual"]
135134
- ["java.lang", "String", "hashCode", "()", "manual"]

0 commit comments

Comments
 (0)