C++: Add change note.

This commit is contained in:
Mathias Vorreiter Pedersen
2026-01-26 19:12:14 +00:00
parent aed0e688f5
commit 544015d0a6

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* The `Buffer.qll` library will no longer report incorrect buffer sizes on certain malformed databases. As a result, the queries `cpp/static-buffer-overflow`, `cpp/overflow-buffer`, `cpp/badly-bounded-write`, `cpp/overrunning-write`, `cpp/overrunning-write-with-float`, and `cpp/very-likely-overrunning-write` will report fewer false positives on such databases.