Operační systém Samsungu Tizen má prý 27 tisíc bugů

Čtvrtek 13. 07. 2017 Redakce

Operační systém Tizen OS jihokorejského technologického gigantu Samsung, má mít až 27 tisíc bugů. Prohlásil to zakladatel ruské společnosti Program Verification System Andrej Karpov.

Jeho společnost vyvinula PVS-Studio, statický analyzátor kódu, jenž pomáhá programátorům najít a opravit bugy ve zdrojových kódech. Operační systém Samsung Tizen,  je napsán v programovacím jazyce C/C++ a má v současnosti 72,5 milionů řádků zdrojového kódu. Ve třech náhodně vybraných modulech tvořících dohromady 3,3 % celého kódu se našlo skoro 900 chyb.

Po objevení těchto bugů se Karpov spojil se Samsungem a nabídl mu prodej svého statického analyzátoru. Samsung však nabídku odmítl s tím, že používá vlastní řešení v podobě technologie SVACE (Security Vulnerabilities and Critical Errors Detector) a problému s chybovostí kódu si je vědom. Jihokorejská společnost se zřejmě bude s vydáním nové verze operačního systému Tizen 4.0 v září soustředit hlavně na jeho zabezpečení.

Tizen je open-source operační systém postavený na OS Linux podporovaný Intelem a Samsung Electronics a je ve vývoji od roku 2012. Běží na milionech zařízení od mobilních telefonů a fotoaparátů po chytré televize a hodinky.

Zdroj: thehackernews.com