Java/TaintedEnvironmentVariableQuery

d10c · d10c · commit 1edc6b7d3745 · 2025-10-09T14:05:43.000+02:00
java/ql/src/Security/CWE/CWE-078/ExecTaintedEnvironment.ql
diff --git a/java/ql/lib/semmle/code/java/security/TaintedEnvironmentVariableQuery.qll b/java/ql/lib/semmle/code/java/security/TaintedEnvironmentVariableQuery.qll
@@ -40,8 +40,6 @@ module ExecTaintedEnvironmentConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
-
-  Location getASelectedSourceLocation(DataFlow::Node source) { none() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -40,8 +40,6 @@ module ExecTaintedEnvironmentConfig implements DataFlow::ConfigSig {`
`40`	`40`	`}`
`41`	`41`
`42`	`42`	`predicate observeDiffInformedIncrementalMode() { any() }`
`43`		`-`
`44`		`- Location getASelectedSourceLocation(DataFlow::Node source) { none() }`
`45`	`43`	`}`
`46`	`44`
`47`	`45`	`/**`