Andrey Karpov z Program Verification Systems rozpoczął jakiś czas temu poszukiwanie błędów w kodzie źródłowym Tizena. Po przeanalizowaniu 3,3% całości odkrył on aż 900 nieprawidłowości.
Badacz nie pokusił się o analizę całości, jednak szacuje, że łącznie w Tizenie można znaleźć nawet 27 tys. błędów, dziur i usterek.
Karpov wyjaśnia, że Samsung został już poinformowany o odkryciu, jednak zespół koreańskiej firmy odmówił zbadania sprawy.
Mamy własne narzędzie weryfikacyjne
Samsung ustosunkował się do spostrzeżeń Karpova. „Obecnie korzystamy z własnego narzędzia analizującego i uruchamiamy je regularnie. Nie zgadzamy się z twierdzeniem, że Tizen posiada 27 tys. błędów, które powinny być naprawione” – odpowiadają włodarze firmy.
Analiza Karpova polegała na wykorzystaniu własnego programu weryfikującego: PVS Studio. Badacz zaproponował nawet pomoc w zlokalizowaniu i usunięciu błędów.
Warto jednak dodać, że ostatecznie Karpov przeprowadził analizę zaledwie 3,3% całego kodu źródłowego. Skąd zatem wziął aż 27 tys. błędów? Skoro w niewielkim wycinku znalazł 900 błędów, resztę postanowił wyliczyć na zasadzie proporcji.
Źródło: Softpedia