C++: Use strictcount instead of count.

MathiasVP · MathiasVP · commit d1272d3a799b · 2020-11-17T16:23:27.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/security/ExternalAPIs.qll b/cpp/ql/src/semmle/code/cpp/security/ExternalAPIs.qll
@@ -35,7 +35,7 @@ class ExternalAPIUsedWithUntrustedData extends TExternalAPI {
 
   /** Gets the number of untrusted sources used with this external API. */
   int getNumberOfUntrustedSources() {
-    result = count(getUntrustedDataNode().getAnUntrustedSource())
+    result = strictcount(getUntrustedDataNode().getAnUntrustedSource())
   }
 
   /** Gets a textual representation of this element. */
diff --git a/cpp/ql/src/semmle/code/cpp/security/ir/ExternalAPIs.qll b/cpp/ql/src/semmle/code/cpp/security/ir/ExternalAPIs.qll
@@ -35,7 +35,7 @@ class ExternalAPIUsedWithUntrustedData extends TExternalAPI {
 
   /** Gets the number of untrusted sources used with this external API. */
   int getNumberOfUntrustedSources() {
-    result = count(getUntrustedDataNode().getAnUntrustedSource())
+    result = strictcount(getUntrustedDataNode().getAnUntrustedSource())
   }
 
   /** Gets a textual representation of this element. */

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ class ExternalAPIUsedWithUntrustedData extends TExternalAPI {`
`35`	`35`
`36`	`36`	`/** Gets the number of untrusted sources used with this external API. */`
`37`	`37`	`int getNumberOfUntrustedSources() {`
`38`		`- result = count(getUntrustedDataNode().getAnUntrustedSource())`
	`38`	`+ result = strictcount(getUntrustedDataNode().getAnUntrustedSource())`
`39`	`39`	`}`
`40`	`40`
`41`	`41`	`/** Gets a textual representation of this element. */`