Skip to content

Commit 1c98642

Browse files
committed
Remove SystemProperty from FlowSources
1 parent ecb8911 commit 1c98642

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

java/ql/lib/semmle/code/java/dataflow/FlowSources.qll

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ import java
66
import semmle.code.java.dataflow.DataFlow
77
import semmle.code.java.dataflow.TaintTracking
88
import semmle.code.java.dataflow.DefUse
9-
import semmle.code.java.environment.SystemProperty
109
import semmle.code.java.frameworks.Jdbc
1110
import semmle.code.java.frameworks.Networking
1211
import semmle.code.java.frameworks.Properties
@@ -183,8 +182,6 @@ class EnvInput extends LocalUserInput {
183182
// Results from various specific methods.
184183
this.asExpr().(MethodAccess).getMethod() instanceof EnvReadMethod
185184
or
186-
this.asExpr() = getSystemProperty(_)
187-
or
188185
// Access to `System.in`.
189186
exists(Field f | this.asExpr() = f.getAnAccess() | f instanceof SystemIn)
190187
or

0 commit comments

Comments
 (0)