Skip to content

Commit 8c92d92

Browse files
authored
Copyedit
1 parent 8f345f9 commit 8c92d92

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/src/CHANGELOG.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22

33
### Minor Analysis Improvements
44

5-
* Removed false positives caused by buffer accesses in unreachable code
6-
* Removed false positives caused by inconsistent type checking
5+
* Removed false positives caused by buffer accesses in unreachable code.
6+
* Removed false positives caused by inconsistent type checking.
77
* 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.
88

99
## 1.2.2

0 commit comments

Comments
 (0)