On Wed, 2017-04-12 at 00:13 +0200, Javier González wrote: > please point out to any other tools/concerns you may have. Hello Javier, Do you already have an account at https://scan.coverity.com/? Any Linux kernel developer can get an account for free. A full Coverity scan of Linus' tree is available at https://scan.coverity.com/projects/linux. Bart.