Специалисты PVS-Studio ищут ошибки в коде программ уже более 10 лет. Под их прицел попадают и игровые движки: Unreal Engine 4, Unity 3D, Cry Engine и даже Amazon Lumberyard. Много ли ошибок получилось в них найти? Спойлер – ещё как! В этом докладе Георгий Грибков, С++ разработчик из PVS-Studio, показывает реальные примеры найденных ошибок (на C# и C++), а также рассказывает, как их можно было избежать.

1. Качество кода игровых движков:
неужели всё так плохо?

2. Докладчик
Георгий Грибков
Программист C++, разработчик
статического анализатора кода
PVS-Studio
Автор статей о поиске ошибок в играх
(Вангеры, VVVVVV) и других проектах
с открытым исходным кодом
gribkov@viva64.com
2

3. Unreal Engine 4
3

4. Unreal Engine 4
4

5. Assassins Creed: Unity
5

6. The Witcher 3: Wild Hunt
6

7. The Sims
7

8. ОШИБКИ ВЕЗДЕ
=))))))))))))))
8

9.  Увеличивать знания программистов о
типовых проблемах
 Использовать инструменты для их
автоматического поиска
Как избегать ошибок?
9

10.  Показать типовые паттерны ошибок
 Показать, как правильно применять
статический анализ кода
Цели этого доклада
10

11. Как выглядят ошибки в игровых
движках
11

12. Копи-паст и
эффект последней
строки
12

13. Unreal Engine 4 (C++)
13

14. Предупреждение PVS-Studio: V501 There are identical sub-
expressions 'Position.Y >= Control.Center.Y — BoxSize.Y * 0.5f' to
the left and to the right of the '&&' operator.
Unreal Engine 4 (C++)
14

15. Обращение по
некорректному
адресу
15

16. Amazon Lumberyard (C++)
16

17. Предупреждение PVS-Studio: V557 CWE-119 Array overrun
is possible. The 'id' index is pointing beyond array bound.
Amazon Lumberyard (C++)
17

18. Unreal Engine 4
18

19. Unreal Engine 4
19
Предупреждение
PVS-Studio: V522
Dereferencing of the
null pointer
'LevelStreamingObject'
might take place.

20. Зло живёт в
условных
выражениях
20

21. Unity (C#)
21

22. Предупреждение PVS-Studio: V3063 A part of conditional
expression is always true if it is evaluated: pageSize <= 1000.
Unity (C#)
22

23. Bullet – движок Red Dead Redemption (C++)
23

24. Предупреждение
PVS-Studio:
V709 Suspicious
comparison found:
'f0 == f1 ==
m_fractureBodies.size()’.
Remember that
'a == b == c’
is not equal to
'a == b && b == c'.
Bullet – движок Red Dead Redemption (C++)
24

25. Приоритеты
операторов
25

26. CryEngine (C++)
26

27. Предупреждение PVS-Studio: V502 Perhaps the '?:' operator works
in a different way than it was expected. The '?:' operator has a lower
priority than the '+' operator.
CryEngine (C++)
27

28. Amazon Lumberyard (C++)
28

29. Предупреждение PVS-Studio: V502 Perhaps the '?:' operator
works in a different way than it was expected. The '?:' operator
has a lower priority than the '-' operator.
Amazon Lumberyard (C++)
29

30. А также всякие
неуловимые
опечатки…
30

31. CryEngine V (C++)
31

32. Предупреждение PVS-Studio: V529 Odd semicolon ';' after
'for' operator.
CryEngine V (C++)
32

33. Amazon Lumberyard
33

34. Предупреждение PVS-Studio: V549 CWE-688 The first
argument of 'memcmp' function is equal to the second
argument.
Amazon Lumberyard
34

35. Итого
35

36. 36

37. Что делать
37

38. Не теряйте доверие к движкам
38
 Все эти ошибки уже исправлены
 Разработчики активно борются с
появлением новых

39. Боритесь с ошибками
39

40.  Юнит-тесты
 Code review
 Функциональное, регрессионное
тестирование
Боритесь с ошибками
40

41.  Юнит-тесты
 Code review
 Функциональное, регрессионное
тестирование
 Динамический анализ
 Статический анализ
Боритесь с ошибками
41

42.  Юнит-тесты
 Code review
 Функциональное, регрессионное
тестирование
 Динамический анализ
 Статический анализ
Боритесь с ошибками
42

43. Статический анализ – это code review в
автоматическом режиме
Статический анализ – что это такое?
43

44. Статический анализ – что это такое?
44

45. Чем полезен статический анализ?
45

46. id Software
Wargaming
Epic Games
Playrix
Warner Brothers
Кто использует статический анализ
46
Oculus
Codemasters
Rocksteady
ZeniMax Media
И другие…

47. Современные статические анализаторы
47
• PVS-Studio
• ReSharper
• Coverity
• SonarQube
• Klocwork
• Clang Static Analyzer
• IntelliJ IDEA
• ...
• Большой список
статических анализаторов:

48. Как и где стоит проводить анализ
48

49.  Локально на компьютерах разработчиков (плагины для
IDE, системы мониторинга компиляции)
Как и где стоит проводить анализ
49

50.  В системах непрерывной интеграции (command-line
утилиты, плагины для CI-систем, системы мониторинга)
Как и где стоит проводить анализ
50

51. Классический сценарий
51

52. Классический сценарий
52

53. Классический сценарий
53

54. Классический сценарий
54

55. Классический сценарий
55

56. Классический сценарий
56

57. Классический сценарий
57

58. Классический сценарий
58

59.  Ошибки исправляются в момент их
появления
 Множество ошибок не доходит даже до
тестов
 Те, что прошли – отлавливаются ночью
Итого
59

60. Чем полезен статический анализ?
60

61.  Ошибки исправляются в момент их
появления
 Множество ошибок не доходит даже до
тестов
 Те, что прошли – отлавливаются ночью
 Затраты на исправление почти равны нулю
Итого
61

62.  Конечно стоит! Статический анализ – не панацея от всех ошибок
 Статический анализ – это ответ на вопрос «а как ЕЩЕ можно
повысить качество кода?»
 Пример классного сочетания: статический + динамический
анализ
Стоит ли использовать другие методологии?
62

63. Заключение
63

64.  Ошибаются все. Даже профессионалы.
 Это нормально, и с этим можно бороться
Заключение
64

65. Типовые паттерны ошибок:
 Копи-паст и эффект последней строки
 Обращение по некорректному адресу
 Ошибки в условных операторах
 Путаница с приоритетом операций
 Неуловимые глазом опечатки
Заключение
65

66.  Можно сэкономить кучу ресурсов,
если настроить непрерывный статический
анализ кода
Заключение
66

67. 67
По QR-коду бесплатный
месяц PVS-Studio

68. 68
По QR-коду бесплатный
месяц PVS-Studio
Вопросы и ответы