[llvmlinux] GSoC week 3
andrewmw94 at gmail.com
Thu Jun 9 02:36:10 UTC 2016
As mentioned in my previous email I'm looking for a way to build the kernel
using GCC but with the asm goto constructs disabled. This would allow the
static analyzer to work with GCC as the compiler. Hopefully this would
allow it to work fully on a build with the .config set by allyesconfig.
Currently the static analyzer using the clang compiler works with the
In regards to expanding the checkers for the kernel I am still working on
making versions of the malloc and cstring checkers to work. PThread lock
is an alpha checker so that's a lower priority for now, but perhaps later
work will include getting alpha checkers to work well with the kernel code.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the LLVMLinux