[PATCH] D34275: [analyzer] Re-implemente current virtual calls checker in a path-sensitive way
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Aug 24 07:48:09 PDT 2017
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
All right then, i approve!
> There are 105 alarms running the checker on the LibreOffice, 92 True positive, 13 not sure.
That's impressively loud. I guess you can try reporting some of the bugs you've found and seeing their reactions, if you enjoy this sort of stuff (it's always the ultimate test for bug-finding tools, and it'd also hopefully make libreoffice better).
More information about the cfe-commits