<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p>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.</p>
<p>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.<br>
</p>
<br>
<div class="moz-cite-prefix">On 5/25/2016 1:47 PM, Andrew Wells via
cfe-dev wrote:<br>
</div>
<blockquote
cite="mid:CAN_h2FWYbOtiLvzCe6H5ES8hCGh0Vb-8hckdPoFsB2xxMLte0Q@mail.gmail.com"
type="cite">
<div dir="ltr">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. <a moz-do-not-send="true"
href="https://docs.google.com/spreadsheets/d/1wt1hNl1tqY8XjSZmZCydfa2yZqKXDSvDT0uVxDutRHA/edit#gid=0">https://docs.google.com/spreadsheets/d/1wt1hNl1tqY8XjSZmZCydfa2yZqKXDSvDT0uVxDutRHA/edit#gid=0</a>
<div><br>
</div>
<div>Thanks for the help.</div>
<div><br>
</div>
<div>--Andrew Wells</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
cfe-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
Employee of Qualcomm Innovation Center, Inc.
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project
</pre>
</body>
</html>