hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Revert changes to MethodAccessSystemGetProperty

Browse Source
This commit is contained in:
Jonathan Leitschuh
2021-03-22 16:45:46 -04:00
parent 66831989b7
commit df716cbaa0
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/lib/semmle/code/java/JDK.qll
View File

@@ -236,14 +236,14 @@ class MethodSystemGetProperty extends Method {
}
/**
* Any method access to a method named `getProperty` on class `java.lang.System`.
* An access to a method named `getProperty` on class `java.lang.System`.
*/
class MethodAccessSystemGetProperty extends MethodAccess {
MethodAccessSystemGetProperty() { this.getMethod() instanceof MethodSystemGetProperty }
/**
* Holds true if this is a compile-time constant call for the specified `propertyName`.
* Eg. `System.getProperty("user.dir")`.
* Holds if this call has a compile-time constant first argument with the value `propertyName`.
* For example: `System.getProperty("user.dir")`.
*/
predicate hasCompileTimeConstantGetPropertyName(string propertyName) {
this.getArgument(0).(CompileTimeConstantExpr).getStringValue() = propertyName