Removed sanitizer in StaticInitializationVectorConfig

artem-smotrakov · artem-smotrakov · commit f97c8bb049fb · 2021-08-25T12:40:48.000+02:00
diff --git a/java/ql/src/experimental/semmle/code/java/security/StaticInitializationVectorQuery.qll b/java/ql/src/experimental/semmle/code/java/security/StaticInitializationVectorQuery.qll
@@ -161,8 +161,4 @@ class StaticInitializationVectorConfig extends TaintTracking::Configuration {
   override predicate isAdditionalTaintStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
     createInitializationVectorSpecStep(fromNode, toNode)
   }
-
-  override predicate isSanitizer(DataFlow::Node node) {
-    exists(ArrayUpdate update | update.getArray() = node.asExpr())
-  }
 }

Original file line number	Diff line number	Diff line change
`@@ -161,8 +161,4 @@ class StaticInitializationVectorConfig extends TaintTracking::Configuration {`
`161`	`161`	`override predicate isAdditionalTaintStep(DataFlow::Node fromNode, DataFlow::Node toNode) {`
`162`	`162`	`createInitializationVectorSpecStep(fromNode, toNode)`
`163`	`163`	`}`
`164`		`-`
`165`		`- override predicate isSanitizer(DataFlow::Node node) {`
`166`		`- exists(ArrayUpdate update \| update.getArray() = node.asExpr())`
`167`		`- }`
`168`	`164`	`}`