User Details
- User Since
- Jun 8 2015, 1:45 AM (369 w, 1 d)
Jan 19 2022
Nov 18 2021
I think we should document all clang analyzer options on this page (which is listed by clang -cc1 -analyzer-config-help"), where the section header should be the analyzer option name (e.g. consider-single-element-arrays-as-flexible-array-members).
I agree with @whisperity, that options, which affect the analysis should be described with code examples highlighting the changes the option causes in the analysis behaviour. (such as in case of consider-single-element-arrays-as-flexible-array-members, or widen-loops, unroll-loops etc.)
Nov 23 2020
Jul 14 2020
Since the analyzer cannot cannot model the size of the containers just yet (or precisely enough), what we are saying with this checker is to "always check the return value of the erase() function before use (for increment/decrement etc.) whether it is not past-end" .
Nov 4 2019
If this is good to go, could you please commit this? Thanks!
Thanks for your comments @NoQ
I fixed them. Also added your implementation hints to the open projects page.
Oct 25 2019
Oct 22 2019
@aaron.ballman could you please check now? Thanks!
The patch is rebased to the latest master.
Oct 11 2019
Thanks for the reviews!
Could you pls commit this for me?
Oct 10 2019
@aaron.ballman could you please commit?
I don't have commit access. Thx.
Oct 9 2019
Fixing minor capitalization issue and removing an extra newline.
I also analyzed openssl with the baseline and this version, but did not find any new warnings.
See:
http://codechecker-demo.eastus.cloudapp.azure.com/Default/#run=D66049_baseline&newcheck=D66049_improved&review-status=Unreviewed&review-status=Confirmed&detection-status=New&detection-status=Reopened&detection-status=Unresolved&tab=D66049_baseline_diff_D66049_improved
@Szelethus thanks for your review.
I fixed your suggestions.
Oct 7 2019
Thanks @aaron.ballman and @alexfh for your review.
I fixed your findings.
Aug 13 2019
Thanks for the comments @NoQ , all of them addressed.
Fix comments from @NoQ
Aug 10 2019
@aaron.ballman 's comments are fixed.
Jul 18 2019
Jul 17 2019
Thanks Gabor for writing this.
I suggested some minor changes to the txt. Otherwise LGTM.
Jul 10 2019
I guess this is a placeholder for the subpages of "User Manual" @ https://clang-analyzer.llvm.org, which will be ported in follow-up patches.
May 14 2019
May 13 2019
May 3 2019
Thanks for your reviews!
I have fixed all your comments and rebased the patch to the latest master.
Apr 8 2019
Mar 26 2019
@dcoughlin I don't necessarily agree with you.
Let me explain why we think this feature is important.
Jan 4 2019
Thanks @NoQ .
So I created a very simple main page with the table of contents only http://cc.elte.hu/clang-docs/docs/html/ClangStaticAnalyzer.html
Dec 21 2018
Thanks for your comments. I fixed them all. I also added the handling of redundant sizeof() and alignof() operators on the way. Please check if OK now...
All comments fixed.
Dec 10 2018
@dcoughlin @NoQ ping...
Dec 5 2018
Dec 4 2018
Comments addressed. Please commit if looks good, I don't have commit rights.
Thanks.
Dec 3 2018
new undef/defined testcase added
Dec 1 2018
-clang-format applied
-clang:: namespace qualifiers removed
Nov 30 2018
Nov 23 2018
@dcoughlin could you please look into this?
Nov 13 2018
-scanbuild and xcode pictures are included now
-intro text ("What is Static Analysis?" etc.) are put under the Introduction section
-Download section is created, but I am not sure how well was the this Mac OSX binary release section was maintained. Should users really download from this site or through a package manager instead?
Nov 12 2018
making the diff full context.
Oct 17 2018
Jul 18 2018
Which means that for some calls we aren't even trying to make a CTU lookup.
Thanks @NoQ, we will take a look at it!
Jul 13 2018
@NoQ do we need any more update to this patch? Thanks.
Jul 3 2018
The patch has been updated.
Changes:
Jul 2 2018
Apr 16 2018
Would be interesting to extend this checker (maybe in an upcoming patch) to report on uninitialized members not only in constructors, but also copy constructors and move constructors.
Dec 15 2017
Dec 13 2017
Nov 3 2017
Oct 15 2017
Please fix the incompatibility between analyze-build and lib/CrossTU in the format of externalFnMap.txt mappfing file.
Aug 21 2017
The creation of this library (libCrossTU) is approved for importing function definitions. @zaks.anna, @NoQ , @klimek could you please help us reviewing the code itself?
Jun 19 2017
It would be best to just add the scan-build-py support to the tree, especially, since the new scrips are not tested.
OK. We will update this patch with the scan-build-py changes and remove the ctu-build.py and ctu-analyze.py scripts.
Jun 14 2017
Thanks for the reviews so far.
I think we have addressed all major concerns regarding this patch:
Dec 16 2016
Sep 19 2016
Thanks. Gabor, could you please merge this? I don't have commit right.
Sep 12 2016
issues fixed
Sep 9 2016
I tried to address all your comments.
Sep 8 2016
Sep 7 2016
Oct 22 2015
its a good idea to include in LLVM/Clang i will propose it
Oct 21 2015
Sep 22 2015
Regarding testing:
I think we should create a RecursiveASTvistor based "test checker" that matches every statement and declaration and reports a bug there.
Then we could create a test file similar to what we have in /tools/clang/test/Analysis/diagnostics/report-issues-within-main-file.cpp
where the expected plist output can be written at the end of the file.
Jun 24 2015
when calculating the has for the following fields