diff --git a/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql b/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql index ffb85602a30..050ea9db4d9 100644 --- a/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql +++ b/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql @@ -120,8 +120,7 @@ pragma[noinline] predicate isSanitizerNode(DataFlow::Node node) { underscoreMacro(node.asExpr()) or - not exists(node.asIndirectExpr()) and - not exists(node.asDefiningArgument()) and + exists(node.asExpr()) and cannotContainString(node.getType(), false) }