DARPA инициирует переход на Rust для повышения безопасности своего программного кода

Агентство перспективных исследовательских проектов Министерства обороны США (DARPA) объявило о запуске амбициозной программы по переводу устаревшего программного кода с языка C на Rust. Программа, получившая название TRACTOR (Translating All C TO Rust), нацелена на устранение уязвимостей, связанных с управлением памятью в программах на C, которые могут приводить к серьезным безопасностным прорехам.

Целью DARPA является создание инструментов для автоматизации этого перевода, что позволит сохранить качество и стиль кода на уровне, соответствующем опытным разработчикам Rust. Это особенно важно для систем, используемых в оборонной сфере, где безопасность и надежность программного обеспечения играют критическую роль.

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

Кроме того, DARPA планирует использовать большие языковые модели (LLM) для анализа и оптимизации процесса перевода кода, что является новаторским подходом в области программирования. Эти модели могут помочь в автоматическом обнаружении и исправлении ошибок в исходном коде, ускоряя процесс разработки и повышая его эффективность.

Ожидается, что результаты программы TRACTOR будут иметь значительное влияние на всю индустрию кибербезопасности, устанавливая новые стандарты безопасности программного обеспечения.