[cfe-dev] LLVMLinux

[Craig, Ben via cfe-dev]

I've run the static analyzer on bare metal code, including the 
underlying OS.  I left all the default checkers on and everything was 
fine.  The main thing that was missing was the annotation for the 
various assert-like macros.

I would recommend leaving the default checkers on unless you run into a 
specific problem.  Sure, things like the NewDelete checker will still 
get "run", but they won't really trigger on anything in the Linux kernel.


On 5/25/2016 1:47 PM, Andrew Wells via cfe-dev wrote:
> Hi, I'm a student in GSoC working on the LLVMLinux project trying to 
> get the Clang static analyzer working with the kernel.  I'm in the 
> process of sorting through which checkers are or are not applicable to 
> the kernel.   I was wondering if anyone could give me a run-down on 
> the state of the alpha checkers, ie. what issues they have for this 
> project.  Also I have a list of checkers color-coded by which ones are 
> applicable to the kernel.  If you have some free-time and want to save 
> me some headache would you mind pointing out any obvious mistakes with 
> the list. 
> https://docs.google.com/spreadsheets/d/1wt1hNl1tqY8XjSZmZCydfa2yZqKXDSvDT0uVxDutRHA/edit#gid=0 
>
>
> Thanks for the help.
>
> --Andrew Wells
>
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev

-- 
Employee of Qualcomm Innovation Center, Inc.
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20160525/e410146d/attachment.html>