Skip to content

Commit 01a7c2d

Browse files
authored
Merge pull request #22833 from asgerf/unified/fix-taint-reach-overflow
unified: Avoid overflow in taint reach per million nodes
2 parents ff3231c + ec05a8f commit 01a7c2d

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎unified/ql/lib/codeql/unified/internal/AnalysisQuality.qll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -143,7 +143,7 @@ module TaintReach {
143143
int numberOfCandidates() { result = count(Candidate c) }
144144

145145
int perMillionNodes() {
146-
result = (numberOfTaintedNodes() * 1000000) / numberOfCandidates()
146+
result = ((numberOfTaintedNodes() * 1000000.0) / numberOfCandidates()).floor()
147147
or
148148
numberOfCandidates() = 0 and result = 0
149149
}

0 commit comments

Comments
 (0)