Linux kernel code analysis