【上海機(jī)電技術(shù)】安全研究人員程序驗(yàn)證系統(tǒng)公司首席技術(shù)官德烈·卡爾波夫（Andre Karpov）稱，自己使用PVS Studio開始尋找Tizen的錯(cuò)誤代碼，但僅僅在3.3%的錯(cuò)誤代碼查詢過程中就發(fā)現(xiàn)了不少于900個(gè)BUG，盡管他在分析完整代碼之前已經(jīng)暫停了對(duì)Tizen的BUG查找工作，但這位研究人員說，他估計(jì)Tizen的代碼中應(yīng)該會(huì)有27000個(gè)系統(tǒng)BUG。

對(duì)此卡爾波夫聯(lián)系了三星，但三星方面表示Tizen 不可能有27000個(gè)BUG，他們擁有自己的靜態(tài)分析工具，并經(jīng)常檢測(cè)Tizen運(yùn)行，并表示將會(huì)在內(nèi)部開展除 BUG 工作。

上海機(jī)電技術(shù)
上海菁園科技有限公司