Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 29221ae

Browse files
Jami CogswellJami Cogswell
Jami Cogswell
authored and
Jami Cogswell
committed
Java: add summary model for System.getProperty, adjust comments
1 parent 21a018e commit 29221ae

1 file changed

Lines changed: 5 additions & 5 deletions

File tree

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

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -103,6 +103,7 @@ extensions:
103103
- ["java.lang", "StringBuffer", True, "StringBuffer", "(String)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
104104
- ["java.lang", "StringBuilder", True, "StringBuilder", "", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
105105
- ["java.lang", "System", False, "arraycopy", "", "", "Argument[0]", "Argument[2]", "taint", "manual"]
106+
- ["java.lang", "System", False, "getProperty", "(String)", "", "Argument[-1].MapValue", "ReturnValue", "value", "manual"]
106107
- ["java.lang", "Throwable", False, "Throwable", "(Throwable)", "", "Argument[0]", "Argument[-1].SyntheticField[java.lang.Throwable.cause]", "value", "manual"]
107108
- ["java.lang", "Throwable", True, "getCause", "()", "", "Argument[-1].SyntheticField[java.lang.Throwable.cause]", "ReturnValue", "value", "manual"]
108109
- ["java.lang", "Throwable", True, "getMessage", "()", "", "Argument[-1].SyntheticField[java.lang.Throwable.message]", "ReturnValue", "value", "manual"]
@@ -113,7 +114,7 @@ extensions:
113114
data:
114115
- ["java.lang", "AbstractStringBuilder", "length", "()", "manual"]
115116
- ["java.lang", "Boolean", "equals", "(Object)", "manual"]
116-
- ["java.lang", "Class", "getClassLoader", "()", "manual"] # ! unsure if should be neutral model
117+
- ["java.lang", "Class", "getClassLoader", "()", "manual"]
117118
- ["java.lang", "Class", "getName", "()", "manual"]
118119
- ["java.lang", "Class", "getSimpleName", "()", "manual"]
119120
- ["java.lang", "Class", "isAssignableFrom", "(Class)", "manual"]
@@ -127,16 +128,15 @@ extensions:
127128
- ["java.lang", "Object", "hashCode", "()", "manual"]
128129
- ["java.lang", "Object", "toString", "()", "manual"]
129130
- ["java.lang", "String", "contains", "(CharSequence)", "manual"]
130-
- ["java.lang", "String", "endsWith", "(String)", "manual"] # ! unsure if should be neutral model since already modeled as a summary above
131+
- ["java.lang", "String", "endsWith", "(String)", "manual"] # ! see question on line 65 above
131132
- ["java.lang", "String", "equals", "(Object)", "manual"]
132133
- ["java.lang", "String", "equalsIgnoreCase", "(String)", "manual"]
133134
- ["java.lang", "String", "hashCode", "()", "manual"]
134-
- ["java.lang", "String", "indexOf", "(String)", "manual"] # ! unsure if should be neutral model, is flow through the param interesting in this case?
135+
- ["java.lang", "String", "indexOf", "(String)", "manual"]
135136
- ["java.lang", "String", "isEmpty", "()", "manual"]
136137
- ["java.lang", "String", "length", "()", "manual"]
137138
- ["java.lang", "String", "startsWith", "(String)", "manual"]
138139
- ["java.lang", "System", "currentTimeMillis", "()", "manual"]
139-
- ["java.lang", "System", "getProperty", "(String)", "manual"] # ! unsure if should be neutral model
140140
- ["java.lang", "System", "nanoTime", "()", "manual"]
141141
- ["java.lang", "Thread", "currentThread", "()", "manual"]
142-
- ["java.lang", "Thread", "sleep", "(long)", "manual"] # ! unsure if should be neutral model, is flow through the param interesting in this case?
142+
- ["java.lang", "Thread", "sleep", "(long)", "manual"]

0 commit comments

Comments
 (0)