the [] syntax directly

MarkLee131 · geoffw0 · web-flow · commit c155394f25b1 · 2026-03-19T14:36:28.000+08:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/Security/CWE/CWE-134/UncontrolledFormatString.ql b/cpp/ql/src/Security/CWE/CWE-134/UncontrolledFormatString.ql
@@ -47,8 +47,7 @@ module Config implements DataFlow::ConfigSig {
     exists(PrintfLikeFunction printf |
       printf.outermostWrapperFunctionCall([node.asExpr(), node.asIndirectExpr()], _)
     ) and
-    not isPrintfImplementation(node.asExpr().getEnclosingFunction()) and
-    not isPrintfImplementation(node.asIndirectExpr().getEnclosingFunction())
+    not isPrintfImplementation([node.asExpr(), node.asIndirectExpr()].getEnclosingFunction())
   }
 
   private predicate isArithmeticNonCharType(ArithmeticType type) {

Original file line number	Diff line number	Diff line change
`@@ -47,8 +47,7 @@ module Config implements DataFlow::ConfigSig {`
`47`	`47`	`exists(PrintfLikeFunction printf \|`
`48`	`48`	`printf.outermostWrapperFunctionCall([node.asExpr(), node.asIndirectExpr()], _)`
`49`	`49`	`) and`
`50`		`- not isPrintfImplementation(node.asExpr().getEnclosingFunction()) and`
`51`		`- not isPrintfImplementation(node.asIndirectExpr().getEnclosingFunction())`
	`50`	`+ not isPrintfImplementation([node.asExpr(), node.asIndirectExpr()].getEnclosingFunction())`
`52`	`51`	`}`
`53`	`52`
`54`	`53`	`private predicate isArithmeticNonCharType(ArithmeticType type) {`