[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 mailing list