On Thu, 2022-08-11 at 19:24 +0200, Tim Lange wrote: > This patch adds an experimental out-of-bounds checker to the > analyzer. > > The checker was tested on coreutils, curl, httpd and openssh. It is > mostly > accurate but does produce false-positives on yacc-generated files and > sometimes when the analyzer misses an invariant. These cases will be > documented in bugzilla. > Regression-tested on Linux x86-64, further ran the analyzer tests > with > the -m32 option.
[...snip...] Thanks for the updated patch. This version is OK for trunk [1]. Dave [1] as I mentioned before, I plan to reword the diagnostic once it's in trunk, but I'll do that myself, rather than be a backseat driver.
