[cfe-dev] scan-build on RTEMS (try #1)

[Ted Kremenek]

Hi Joel,

In the output from scan-build, did you see any output that looked like:

  ANALYZE: ....
  
This is an indicator that the analyzer is analyzing a specific function in your code.

On Sep 19, 2010, at 1:19 PM, Joel Sherrill wrote:

>  Hi,
> 
> I configured RTEMS and then ran scan-build using a
> modified version of the script we use to run Coverity
> Scan.  It was:
> 
> scan-build -o ${BASE}/output make >${BASE}/b.log 2>&1
> 
> It looks like everything built OK but this was these
> were the only messages from scan-build in the b.log file:
> 
> scan-build: 'clang' executable not found in 
> '/usr/lib/clang-analyzer/scan-build/bin'.
> scan-build: Using 'clang' from path: /usr/bin/clang
> ......
> scan-build: Removing directory 
> '/home/joel/rtems-4.11-work/build/gcc-testing/rtems/clang-analyzer/b-clang-sparc-rtems4.11/output/2010-09-19-1' 
> because it contains no reports.
> 
> Does this mean this part of the RTEMS source was clean
> on the first run?
> 
> FWIW this is the subset we run Coverity Scan on and it has
> ~95 issues with Coverity Scan.
> 
> --joel
> 
> 
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev