[cfe-dev] Static analyzer

Nico Weber nicolasweber at gmx.de
Mon Jul 7 09:45:52 PDT 2008


I'm currently playing with the static analyzer. It looks very nice, it  
found a few leaks already. Two comments:

1. It would be very useful to me if the file name of the reports could  
include the (beginning of) the original file name. When I'm looking at  
the reports in Safari, I could then simply look at the URL bar to see  
which file the current report is for.

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".


More information about the cfe-dev mailing list