<HTML><HEAD>
<META content="text/html; charset=euc-kr" http-equiv=Content-Type>
<META content=IE=5 http-equiv=X-UA-Compatible>
<META name=GENERATOR content="MSHTML 11.00.9600.18666"></HEAD>
<BODY><PRE>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: <1430bd9f-166f-fdc7-0a9d-f68350eb5f40@viva64.com>

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>
</PRE></BODY></HTML><img src='http://ext.samsung.net/mail/ext/v1/external/status/update?userid=youil.kim&do=bWFpbElEPTIwMTcwNjA5MTAyODAwZXBjbXMxcDIwYTMzOTIzYTM2ZTM4MTVjMDAyZWY0OTkzODc1N2FkMiZyZWNpcGllbnRBZGRyZXNzPWRldkBsaXN0cy50aXplbi5vcmc_' border=0 width=0 height=0 style='display:n