> On 12 Apr 2017, at 00.23, Bart Van Assche <bart.vanassche@xxxxxxxxxxx> wrote: > > 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. Hi Bart, No I did not. Thanks for the invite. I just created an account now; waiting for approval. Javier
Attachment:
signature.asc
Description: Message signed with OpenPGP