From ec05a8f2508cc421f4ddfc4c2820ba3a890feab9 Mon Sep 17 00:00:00 2001 From: Asger F Date: Thu, 15 Oct 2026 16:17:59 +0200 Subject: [PATCH] unified: Avoid overflow in taint reach per million nodes --- unified/ql/lib/codeql/unified/internal/AnalysisQuality.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unified/ql/lib/codeql/unified/internal/AnalysisQuality.qll b/unified/ql/lib/codeql/unified/internal/AnalysisQuality.qll index cf837f2f3923..b0b48abf6f4c 100644 --- a/unified/ql/lib/codeql/unified/internal/AnalysisQuality.qll +++ b/unified/ql/lib/codeql/unified/internal/AnalysisQuality.qll @@ -143,7 +143,7 @@ module TaintReach { int numberOfCandidates() { result = count(Candidate c) } int perMillionNodes() { - result = (numberOfTaintedNodes() * 1000000) / numberOfCandidates() + result = ((numberOfTaintedNodes() * 1000000.0) / numberOfCandidates()).floor() or numberOfCandidates() = 0 and result = 0 }