【上海机电技术】安全研究人员程序验证系统公司首席技术官德烈·卡尔波夫（Andre Karpov）称，自己使用PVS Studio开始寻找Tizen的错误代码，但仅仅在3.3%的错误代码查询过程中就发现了不少于900个BUG，尽管他在分析完整代码之前已经暂停了对Tizen的BUG查找工作，但这位研究人员说，他估计Tizen的代码中应该会有27000个系统BUG。
对此卡尔波夫联系了三星，但三星方面表示Tizen 不可能有27000个BUG，他们拥有自己的静态分析工具，并经常检测Tizen运行，并表示将会在内部开展除 BUG 工作。
上海机电技术
上海菁园科技有限公司
