[cfe-dev] LLVMLinux

[Alexey Sidorin via cfe-dev]

Hello Andrew,

core.StackAddressEscape - I think this checker should work for kernel well.
core.builtin.NoReturnFunctions - this service checker should decrease 
the amount of FPs reported due to analyzing of unreachable paths. It may 
need some tuning for kernel (adding kernel no-return functions). I vote 
for enabling it.
For unix.Malloc checker we should add the support for kernel memory  
allocation functions like kmalloc/kfree. The same for PthreadLock and 
CString*. When it's done, they may be also enabled.
alpha.security.taint.TaintPropagation may help other checkers to find 
taint-related issues. I think it should be enabled.



25.05.2016 21:47, Andrew Wells via cfe-dev пишет:
> 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

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