This commit is contained in:
Chris Smowton
2024-09-16 12:23:10 +01:00
committed by GitHub
parent 8f345f9618
commit 8c92d92427

View File

@@ -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