We have decided to check Linux kernel using our static code analysis tool (in advertising purposes). This problem is interesting by its difficulty. Linux kernel source code was checked and is checked by everything and anything. That is why it is difficult task - finding something new. However, that would be an excellent advertising note about PVS-Studio analyzer possibilities.

Article: http://www.viva64.com/en/b/0299/