fix all ql/counting-to-zero in some languages

Author: erik-krogh

python/ql/src/Security/CWE-022/TarSlip.ql

@@ -85,7 +85,7 @@ class ExtractAllSink extends TaintSink {
 
   ExtractAllSink() {
     this = call.getFunction().(AttrNode).getObject("extractall") and
-    count(call.getAnArg()) = 0
+    not exists(call.getAnArg())
   }
 
   override predicate sinks(TaintKind kind) { kind instanceof OpenTarFile }

python/ql/src/analysis/Consistency.ql

@@ -194,7 +194,7 @@ predicate function_object_consistency(string clsname, string problem, string wha
   exists(FunctionObject func | clsname = func.getAQlClass() |
     what = func.getName() and
     (
-      count(func.descriptiveString()) = 0 and problem = "no descriptiveString()"
+      not exists(func.descriptiveString()) and problem = "no descriptiveString()"
       or
       exists(int c | c = strictcount(func.descriptiveString()) and c > 1 |
         problem = c + "descriptiveString()s"

ql/ql/src/queries/performance/ClassPredicateDoesntMentionThis.ql

@@ -40,7 +40,7 @@ predicate isLiteralComparison(ComparisonFormula eq) {
       or
       exists(NewTypeBranch nt |
         rhs.(Call).getTarget() = nt and
-        count(nt.getField(_)) = 0
+        not exists(nt.getField(_))
       )
     )
   )
@@ -69,7 +69,7 @@ predicate isSingleton(Type ty) {
   or
   isSingleton(ty.getASuperType())
   or
-  exists(NewTypeBranch br | count(br.getField(_)) = 0 |
+  exists(NewTypeBranch br | not exists(br.getField(_)) |
     ty.(NewTypeBranchType).getDeclaration() = br
     or
     br = unique(NewTypeBranch br2 | br2 = ty.(NewTypeType).getDeclaration().getABranch())