Hello, We are working on static analysis for Tizen. We currently have our own static analysis tool and run it regularly for Tizen. Due to the unsoundness of static analysis tools, we are already aware that another tool can find additional defects. However, we don't agree with that Tizen has 27,000 defects that should be fixed. As you know, many of static analysis warnings are often considered as insignificant issues. We are ready to start further discussions that make quality of the Tizen source code better. If you have any suggestion or report to be discussed, please send an email to us (youil.kim at samsung.com and chuljoo1.kim at samsung.com). Best regards, Youil Kim -----Original Message----- From karpov at viva64.com Wed Jun 7 08:25:06 2017 From: karpov at viva64.com (Andrey Karpov) Date: Wed, 7 Jun 2017 11:25:06 +0300 Subject: [Dev] Our team is ready to fix more than 25000 defects in Tizen Message-ID: <[email protected]> Hello, I am one of the developers of PVS-Studio static code analyzer. I have recently written an open letter, where I suggested Samsung company to use our services of searching and fixing bugs in the Tizen code: https://www.viva64.com/en/b/0508/ I have also done a research, where I tried to evaluate the approximate amount of errors that our team can find and fix. I have checked about 3.3% of the Tizen code and have estimated the number of code fragments that are worth fixing. In general, we can find 27000 defects that would be useful to fix. Here is a presentation on this topic: https://www.slideshare.net/Andrey_Karpov/pvsstudio-is-ready-to-improve-the-code-of-tizen-operating-system ---- Best regards, Andrey Karpov, Microsoft MVP, Ph.D. in Mathematics, CTO "Program Verification Systems" Co Ltd. URL: www.viva64.com E-Mail: karpov at viva64.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.tizen.org/pipermail/dev/attachments/20170607/9181c5e9/attachment.html>