[llvmlinux] [GSoC: Static analysis] Report 0
e.bachmakov at gmail.com
Mon Jun 17 13:33:41 UTC 2013
Hey guys, let's get this party started ;-).
First off, you will be able to get the current status in the wiki at
After some tweaking I was able to run the analyzer (default settings).
I didn't time the build but subjectively it took 3+ times as long. If
you want to take a look, the results are at
(careful, 50M compressed, 1.9G uncompressed). Open index.html in your
Stats (on demo).
For x64 the analyzer finds ~4500 issues, more than half being dead
assignments such as "Value stored to 'retval' is never read".
Next are nullptrs (~750). Having glanced at a few of those, I have to
say that some do look pretty real to me (e.g. report-LbUOdn.html ) but
I'm not sure just how different the rules are for the kernel.
Quite a few issues (400-600) are related to garbage value assignment
and propagation. How does that happen? Like this: "unsigned int
uninitialized_var(msecs);" -- so no surprise there.
For the rest, feel free to check out the tarball.
Primary goal for now: integrate checking methods into llvmlinux's build system.
More information about the LLVMLinux