We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1dd78e2 commit 792ac7aCopy full SHA for 792ac7a
cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
@@ -709,7 +709,7 @@ private module BoundsEstimate {
709
* ```
710
* the actual number of bounds for `y` is 1. However, the estimate will be 4
711
* as the conditional assignment to `x` gives two bounds for `x` on the last
712
- * line and the addition gives 2 * 2 bounds. There are two sources of anncuracies:
+ * line and the addition gives 2 * 2 bounds. There are two sources of inaccuracies:
713
*
714
* 1. Without tracking the lower bounds we can't see that `x` is assigned a
715
* value that is equal to its lower bound.
0 commit comments