Simplify the query

luchua-bc · luchua-bc · commit 12c53baba4a4 · 2022-02-11T01:05:06.000Z
diff --git a/java/ql/src/experimental/Security/CWE/CWE-073/PathSanitizer.qll b/java/ql/src/experimental/Security/CWE/CWE-073/PathSanitizer.qll
@@ -179,9 +179,7 @@ abstract class SanitizedNode extends DataFlow::Node { }
 
 class NodeWithPathNormalizer extends SanitizedNode {
   NodeWithPathNormalizer() {
-    exists(MethodAccess ma |
-      DataFlow::localExprFlow(this.asExpr(), ma) and ma instanceof PathNormalizeSanitizer
-    )
+    DataFlow::localExprFlow(this.asExpr(), any(PathNormalizeSanitizer ma))
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -179,9 +179,7 @@ abstract class SanitizedNode extends DataFlow::Node { }`
`179`	`179`
`180`	`180`	`class NodeWithPathNormalizer extends SanitizedNode {`
`181`	`181`	`NodeWithPathNormalizer() {`
`182`		`- exists(MethodAccess ma \|`
`183`		`- DataFlow::localExprFlow(this.asExpr(), ma) and ma instanceof PathNormalizeSanitizer`
`184`		`- )`
	`182`	`+ DataFlow::localExprFlow(this.asExpr(), any(PathNormalizeSanitizer ma))`
`185`	`183`	`}`
`186`	`184`	`}`
`187`	`185`