Remove SystemProperty from FlowSources

JLLeitschuh · JLLeitschuh · commit 1c9864286d47 · 2022-03-10T18:29:29.000-05:00
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
