On 11/29/2017 04:36 PM, Martin Sebor wrote: > I've finished reimplementing the patch as a standalone pass. > In the attached revision I also addressed your comments below > as well as Richard's to allowing the strlen optimizations even > for overlapping accesses. > > While beefing up the tests I found a few minor issues that > I also fixed (false negatives). > > The fallout wasn't quite as bad as I thought, mainly thanks > to the narrow API for the checker. So still reading though this, but wanted to start with a question I hope you can answer quickly.
In terms of coverage -- did we lose much in terms of cases that were diagnosed in the original version, but aren't in this version? jeff
