[cfe-dev] Static analyzer
nicolasweber at gmx.de
Mon Jul 7 13:38:13 PDT 2008
>> 1. It would be very useful to me if the file name of the reports
>> include the (beginning of) the original file name. When I'm looking
>> the reports in Safari, I could then simply look at the URL bar to see
>> which file the current report is for.
> Today I committed a patch that puts the name of the file with the
> bug in the title of the report page:
> This patch should now be available in checker-58 (for those using
> the prebuilt binaries for Mac OS X).
> We can also potentially include a fragment of the original source
> file name in the name of the report-XXX.html file as well. I'm not
> certain if that is necessary given the patch I mentioned. What do
> you think? I'm fine with making the change if you feel it would
> make the tool easier to use.
that change is sufficient in my eyes. Thanks :-)
>> 2. The project I'm checking contains several sections that look like
>> const void *bytes = [data bytes];
>> int rows = *((int*)bytes); bytes += sizeof(int);
>> scan_build complains in these cases that "Value stored to 'bytes' is
>> never read".
> I mocked up a test case, but I couldn't really reproduce this
> error. If it is no trouble, can you file a Bugzilla report with a
> reduced test case that exhibits the problem? Filing a Bugzilla
> report also ensures that a fix eventually goes in, as requests for
> changes have started queuing up and I don't want to forget this one.
More information about the cfe-dev