[PATCH] D155445: [analyzer][docs] Add CSA release notes
Ella Ma via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 17 21:30:49 PDT 2023
OikawaKirie accepted this revision.
OikawaKirie added a comment.
LGTM for my part. Thx.
Since I am not very familiar with other changes, I have no detailed suggestions for the order.
================
Comment at: clang/docs/ReleaseNotes.rst:922-923
+- The ``CStringChecker`` will invalidate less if the copy operation is
+ inferable to be bounded. For example, if the argument of ``strcpy`` is known
+ to be of certain length and that is in-bounds.
+
----------------
The lengths of both src and dst buffers need to be known.
================
Comment at: clang/docs/ReleaseNotes.rst:937
+
+ Similarly, functions like ``strsep`` now won't invalidate the source buffer,
+ because it can never overflow.
----------------
I think this may be a typo here, as we do not invalidate the source buffer originally.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D155445/new/
https://reviews.llvm.org/D155445
More information about the cfe-commits
mailing list