[llvmlinux] LLVMLinux GSoC project

[Andrew Wells]

Hi all,
    As you may have heard, I will be working on LLVMLinux for this year's
Google Summer of Code.  My goal is to get the static analysis tool of Clang
working with the Linux kernel.  Depending on how things pan out, there's a
cool idea for a checker that can search for RCU bugs.  I'll be sending
weekly emails throughout the summer to keep everyone updated on the
progress we're making with the checker.

So let's dive in.  I'm quite new to both code bases, so I've been keeping
notes while I progress.  They are still works in progress, but give some
idea of the state of the project.

How-to for using the checker on the kernel:
https://docs.google.com/document/d/1Ewd-JpzC6gs1VZ5vegZ73w72mAPrsJgUXpEERr3frpU/edit?usp=sharing

Color-coded list of available checkers:
https://docs.google.com/spreadsheets/d/1wt1hNl1tqY8XjSZmZCydfa2yZqKXDSvDT0uVxDutRHA/edit?usp=sharing

My github repos are linked to in the first doc.

So the first milestone seems to be choosing which checkers should work with
the kernel (see second doc).  Once that decision is made, we can measure
progress by the issues those checkers have with the kernel.  For now, all
of the alpha checkers are disabled as per the default.  I'll ask on the
clang mailing list to learn more about the state of these checkers.
Perhaps future work will include fixing some that are applicable to the
kernel.

So I'm looking for input on which checkers are applicable to the kernel.
Let me know what you think, and if it looks like I'm starting down a dead
end don't hesitate to give me a heads up.


--Andrew Wells
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/llvmlinux/attachments/20160525/d438f0a9/attachment.html>