diff --git a/cpp/ql/src/CHANGELOG.md b/cpp/ql/src/CHANGELOG.md index 7896479549fc..e73850bbfe96 100644 --- a/cpp/ql/src/CHANGELOG.md +++ b/cpp/ql/src/CHANGELOG.md @@ -2,7 +2,7 @@ ### Minor Analysis Improvements -* The `cpp/unclear-array-index-validation` ("Unclear validation of array index") query has been improved to reduce false positives increase true positives. +* The `cpp/unclear-array-index-validation` ("Unclear validation of array index") query has been improved to reduce false positives and increase true positives. * Fixed false positives in the `cpp/uninitialized-local` ("Potentially uninitialized local variable") query if there are extraction errors in the function. * The `cpp/incorrect-string-type-conversion` query now produces fewer false positives caused by failure to detect byte arrays. * The `cpp/incorrect-string-type-conversion` query now produces fewer false positives caused by failure to recognize dynamic checks prior to possible dangerous widening. diff --git a/cpp/ql/src/change-notes/released/1.2.5.md b/cpp/ql/src/change-notes/released/1.2.5.md index cf937d43e6b3..04aead25cb99 100644 --- a/cpp/ql/src/change-notes/released/1.2.5.md +++ b/cpp/ql/src/change-notes/released/1.2.5.md @@ -2,7 +2,7 @@ ### Minor Analysis Improvements -* The `cpp/unclear-array-index-validation` ("Unclear validation of array index") query has been improved to reduce false positives increase true positives. +* The `cpp/unclear-array-index-validation` ("Unclear validation of array index") query has been improved to reduce false positives and increase true positives. * Fixed false positives in the `cpp/uninitialized-local` ("Potentially uninitialized local variable") query if there are extraction errors in the function. * The `cpp/incorrect-string-type-conversion` query now produces fewer false positives caused by failure to detect byte arrays. * The `cpp/incorrect-string-type-conversion` query now produces fewer false positives caused by failure to recognize dynamic checks prior to possible dangerous widening. diff --git a/python/ql/lib/CHANGELOG.md b/python/ql/lib/CHANGELOG.md index 4832015d920d..c1f3765162e0 100644 --- a/python/ql/lib/CHANGELOG.md +++ b/python/ql/lib/CHANGELOG.md @@ -3,7 +3,7 @@ ### Minor Analysis Improvements * Modelled that `re.finditer` returns an iterable of `re.Match` objects. This is now understood by the API graph in many cases. -* Type tracking, and hence the API graph, is now able to correctly trace trough comprehensions. +* Type tracking, and hence the API graph, is now able to correctly trace through comprehensions. * More precise modelling of the dataflow through comprehensions. In particular, captured variables are now handled correctly. * Dataflow out of yield is added, allowing proper tracing through generators. * Added several models of standard library functions and classes, in anticipation of no longer extracting the standard library in a future release. diff --git a/python/ql/lib/change-notes/released/2.1.1.md b/python/ql/lib/change-notes/released/2.1.1.md index 949fcd07f7aa..bd2b31a218d9 100644 --- a/python/ql/lib/change-notes/released/2.1.1.md +++ b/python/ql/lib/change-notes/released/2.1.1.md @@ -3,7 +3,7 @@ ### Minor Analysis Improvements * Modelled that `re.finditer` returns an iterable of `re.Match` objects. This is now understood by the API graph in many cases. -* Type tracking, and hence the API graph, is now able to correctly trace trough comprehensions. +* Type tracking, and hence the API graph, is now able to correctly trace through comprehensions. * More precise modelling of the dataflow through comprehensions. In particular, captured variables are now handled correctly. * Dataflow out of yield is added, allowing proper tracing through generators. * Added several models of standard library functions and classes, in anticipation of no longer extracting the standard library in a future release.