Исследование уязвимостей Rust: 900 гипотез и анализ 12 млрд токенов

Проект, требующий высокой скорости обработки миллионов пакетов, побудил разработчика выбрать язык программирования Rust в качестве основы. Причиной такого выбора стали современные возможности языка, удобная система сборки, обширная библиотека и обещанная безопасность памяти. Однако, профессиональный опыт подтолкнул к детальному изучению возможных уязвимостей, несмотря на заявленную безопасность.

В ходе исследования было сформулировано около 900 гипотез о потенциальных ошибках и слабых местах в коде на Rust. Для проверки этих гипотез был проведён глубокий анализ значительного объёма данных — более 12 миллиардов токенов, что позволило выявить реальные риски и подтвердить или опровергнуть многие предположения об уязвимостях. Это подчёркивает важность ручной проверки и анализа даже в языках, ориентированных на безопасность.