C++: Re-enable the check.

geoffw0 · geoffw0 · commit 676e85a15542 · 2020-12-15T17:42:10.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/commons/Printf.qll b/cpp/ql/src/semmle/code/cpp/commons/Printf.qll
@@ -921,7 +921,7 @@ class FormatLiteral extends Literal {
    * format specifiers are present in the format string).
    */
   predicate specsAreKnown() {
-    any()
+    this.getNumConvSpec() = count(int n | exists(this.getNumArgNeeded(n)))
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -921,7 +921,7 @@ class FormatLiteral extends Literal {`
`921`	`921`	`* format specifiers are present in the format string).`
`922`	`922`	`*/`
`923`	`923`	`predicate specsAreKnown() {`
`924`		`- any()`
	`924`	`+ this.getNumConvSpec() = count(int n \| exists(this.getNumArgNeeded(n)))`
`925`	`925`	`}`
`926`	`926`
`927`	`927`	`/**`