Сегодня ночью ShadPS4 присоединится к охоте: проверяем самый популярный эмулятор PS4

В сфере искусственного интеллекта произошло заметное событие. Seraphimt 27 минут назад Сегодня ночью ShadPS4 присоединится к охоте: проверяем самый популярный эмулятор PS4 Средний 18 мин 980 Блог компании PVS-Studio C++ * Сегодня ночью ShadPS4 присоединится к охоте: проверяем самый популярный эмулятор PS420 августа исполнилось 136 лет Говарду Филлипсу Лавкрафту, человеку, создавшему свой собственный жанр “лавкрафтовских ужасов”. Многие пытались копировать или развивать его идеи, но получалось только у считанных единиц. Удачным примером можно назвать популярную игру Bloodborne, мир которой вдохновлён творчеством Лавкрафта, но имеет свою уникальную идентичность.

Долгое время геймеры лишь мечтали запустить её на ПК, и вот, наконец, это стало возможным. А всё благодаря нашему сегодняшнему герою — эмулятору ShadPS4. Добро пожаловать на ПК, добрый охотник.

Технические детали

Желаешь проверить на баги эмулятор ShadPS4? В нашей проверке участвовал код непосредственно ShadPS4 без всяческих сторонних библиотек. За основу взят коммит 24e68ba main-ветки.

Ошибки брались из High и Medium уровней группы общего назначения. Приведённые ссылки на конкретные коммиты добавлены для упрощения верифицирования и исправления найденных ошибок и не имеют цели скомпрометировать или каким-то образом принизить их авторов. Всем контрибуторам проекта большая личная благодарность от фаната Лавкрафта и игр Миядзаки.

В отличие от моей прошлой проверки llvm здесь не будет примеров “кривого мёржа”, наложения двух реализаций и прочих артефактов совместной разработки. Охотник никогда не одинок, но всё же их всегда немного. Начнём же охоту, о, я не могу дождаться...

Отраслевые последствия

Результаты проверкиФрагмент N1. Fear your blindnessПредупреждение PVS-Studio: V557 Array overrun is possible. The 3 index is pointing beyond array bound.

h 397class InputBinding { public: InputID keys; InputBinding(.... if (k1 <= k2 && k1 <= k3) { .... } else if (k2 <= k1 && k2 <= k3) { ....

} else { keys = k3; if (k1 <= k2) { keys = k1; keys = k2; } } } } Выход за границу буфера в чистейшем виде. Весь файл добавили в огромном коммите с горой разных фич и, скорее всего, глаз автора просто замылился. Так вышло, что пока писалась статья, эту ошибку нашли и исправили, заменив keys = k1 на keys = k1.

Событие, по словам экспертов, усилит конкуренцию в сфере ИИ.