Remove SystemProperty from FlowSources

github · Mar 10, 2022 · 1c98642 · 1c98642
1 parent ecb8911
commit 1c98642
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/java/ql/lib/semmle/code/java/dataflow/FlowSources.qll b/java/ql/lib/semmle/code/java/dataflow/FlowSources.qll
@@ -6,7 +6,6 @@ import java
 import semmle.code.java.dataflow.DataFlow
 import semmle.code.java.dataflow.TaintTracking
 import semmle.code.java.dataflow.DefUse
-import semmle.code.java.environment.SystemProperty
 import semmle.code.java.frameworks.Jdbc
 import semmle.code.java.frameworks.Networking
 import semmle.code.java.frameworks.Properties
@@ -183,8 +182,6 @@ class EnvInput extends LocalUserInput {
     // Results from various specific methods.
     this.asExpr().(MethodAccess).getMethod() instanceof EnvReadMethod
     or
-    this.asExpr() = getSystemProperty(_)
-    or
     // Access to `System.in`.
     exists(Field f | this.asExpr() = f.getAnAccess() | f instanceof SystemIn)
     or