64-битные ошибки здесь

Андрей Карпов
Статей: 328



Как человек, неравнодушный к 64-битным ошибкам, я решил написать маленький комментарий к статье "Buggy Security Guidance from Apple".

Picture 2

На первый взгляд, большое количество приложений уже стали 64-битными и успешно работают. Однако, во многих по-прежнему живут 64-битные ошибки и ждут своего часа. Их может заметить только очень внимательный человек. Или анализатор кода PVS-Studio.

Мне на глаза попалась интересная статья "Buggy Security Guidance from Apple".

Прежде чем продолжить читать мой комментарий, прошу познакомиться с ней. Интересным мне показалось следующее. Проделав большую работу, реализовав правильные проверки на переполнение, очень легко ошибиться в простом. А именно - перемножить две переменные типа 'int' и поместить в результат в переменную типа 'size_t'.

Я имею в виду вот эту строчку:

size_t bytes = n * m;

Которую рекомендуют заменить на:

size_t bytes = (size_t)n * (size_t)m;

Это очень распространенный вид 64-битной ошибки. Его крайне трудно заметить и выявить.

Кажется, люди наконец начали сталкиваться с тем, что я описывал ещё несколько лет назад в своих статьях или руководстве по разработке 64-битных приложений. Рекомендую для ознакомления:

Но самое главное - недостаточно просто знать о таких ошибках. Да, вы напишите новый код правильно. Но что делать со старым? Сколько там таких дефектов и как их найти?

Подсказываю ответ. Нужно воспользоваться анализатором PVS-Studio. А вернее набором 64-битных диагностик.

То, что ошибка с переполнением является распространенной, станет ясно из предупреждения, которое он выдаст на строку "size_t bytes = n * m;".

Предупреждение: V101 Implicit assignment type conversion to memsize type.

Обратите внимание, что номер у диагностики V101. Это самое первое 64-битное диагностическое правило, которые было нами реализовано. Опасности, о которых сейчас говорят, были очевидны нам давно. Так что не сомневайтесь - PVS-Studio отличный инструмент для поиска 64-битных ошибок.

Примечание. Будьте готовы, что 64-битные диагностики дают много ложных срабатываний. Но это неизбежно. Анализатор не знает, считает ли программа количество дней в месяце или подсчитывает размер огромного файла. PVS-Studio часто не может понять, какие значения хранят переменные и будет ли переполнение. Но, к сожалению, ничего лучше всё равно нет. PVS-Studio лидер в выявлении 64-битных ошибок. А для подавления ложных срабатываний существует множество механизмов.



Используйте PVS-Studio для поиска ошибок в C, C++ и C# коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;

Андрей Карпов
Статей: 328


А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++ и C#

goto PVS-Studio;
На нашем сайте мы используем cookie для сбора информации технического характера.
Если вы не согласны, пожалуйста, покиньте сайт. Подробнее →
Больше не показывать