[PATCH] D117568: [Analyzer] Add docs to StdCLibraryFunctionArgsChecker
Daniel Krupp via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Jan 19 04:25:51 PST 2022
dkrupp added inline comments.
Comment at: clang/docs/analyzer/checkers.rst:2371
+diagnostics) for functions that are defined in the POSIX standard. This option
+is disabled by default.
I think it would be useful for the user to see one example per constraint type that this checker supports.
RangeConstraint (was covered), ComparisonConstraint, ValueConstraint, Not null Constraint, BufferSize constraint etc.
It would be also nice to add a section "Limitations".
Describe there well known false positive cases or limitations in the bug diagnostics that limits understandability.
Essentially the most important well known cases why this checker is alpha.
This section would be useful for users to understand and help identifying cases that are known false positives and for the developers to know how to improve this checker. I remember many cases when we had to test multiple times "why a checker is in alpha", because we forgot about it. I think it is best to document it.
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the cfe-commits