[PATCH] D25660: [Analyzer] Checker for iterators dereferenced beyond their range.
Balogh, Ádám via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Dec 16 05:03:27 PST 2016
baloghadamsoftware added a comment.
In https://reviews.llvm.org/D25660#613519, @zaks.anna wrote:
> Also, have you evaluated this on real codebases? What results do you see? Are there any false positives found? Are there any true positives found?
I am doing it right now. Unfortunately I found a crash which I fixed, but then it turned out that overwrites of the iterator variable are not handled. I am working on this problem.
More information about the cfe-commits