Skip to content

Commit

Permalink
Copyedit
Browse files Browse the repository at this point in the history
  • Loading branch information
@smowton
smowton authored Sep 16, 2024
1 parent 8f345f9 commit 8c92d92
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions cpp/ql/src/CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@

### Minor Analysis Improvements

* Removed false positives caused by buffer accesses in unreachable code
* Removed false positives caused by inconsistent type checking
* Removed false positives caused by buffer accesses in unreachable code.
* Removed false positives caused by inconsistent type checking.
* Add modeling of C functions that don't throw, thereby increasing the precision of the `cpp/incorrect-allocation-error-handling` ("Incorrect allocation-error handling") query. The query now produces additional true positives.

## 1.2.2
Expand Down

0 comments on commit 8c92d92

Please sign in to comment.