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 Linuxkernel developer can get an account for free. A full Coverity scan ofLinus' tree is available at https://scan.coverity.com/projects/linux.Bart.