Пускането на Rust 1.98.0. Компрометиране на пакета arrayref, който има 53 милиона изтегляния за 3 месеца

Публикувана е версия 1.98 на езика за програмиране Rust, който първоначално е основан от проект Mozilla, но в момента се развива под патронажа на независима неправителствена организация - Rust Foundation. Езикът е насочен към безопасната работа с паметта и предлага средства за постигане на висок паралелизъм при изпълнение на задачи, без да се използва сборщик на боклук и runtime (runtime се сведе до основна инициализация и поддръжка на стандартната библиотека).

Методите за работа с паметта в Rust са насочени към предотвратяване на грешки при манипулиране на указатели и защита от проблеми, произтичащи от нискоуровнева работа с паметта, като достъп до освобождавано пространство, разименоване на нулеви указатели, излизане извън границите на буфера и др. За разпространение на библиотеки, осигуряване на построяване и управление на зависимости, проектът развива пакетния мениджър Cargo. Поддържа се хранилище за библиотеки на crates.io.

Безопасната работа с паметта в Rust се осигурява по време на компилацията чрез проверка на референтите, проследяване на притежанието на обекти, вземане под внимание на времето на живот на обектите (област на видимост) и оценка на коректността на достъпа до паметта по време на изпълнението на кода. Rust също така предоставя средства за защита срещу препълване на цели числа, изисква задължителна инициализация на стойностите на променливите преди тяхната употреба, по-добре обработва грешките в стандартната библиотека, прилага концепцията за неизменяемост (immutable) на референтите и променливите по подразбиране и предлага силна статична типизация за минимизиране на логическите грешки.

Основни нововъведения:

• За типовете с плаваща запетая f32 и f64 са реализирани алгебрични методи за събиране, изваждане, умножение, деление и намиране на остатък, които реализират оптимизация, подобна на опцията «-ffast-math» в компилаторите C/C++. Подобни методи позволяват промяна на реда на операциите, когато е необходимо за оптимизации, като векторизация на цикли. Например, при изчислението «a + b + c + d» с използването на обичайно събиране, компилаторът винаги ще извърши изчислението в един и същ ред «((a + b) + c) + d», а с метода algebraic_add може да групира израза като «(a + b) + (c + d)» и да извърши «(a + b)» и «(c + d)» паралелно с помощта на SIMD инструкции. Цената на използването на алгебрични методи е неистинността на резултатите от изчисленията, които могат да варират в рамките на грешката.
• За всички примитивни целочислени типове е реализиран вграден метод «format_into» за преобразуване на числа в низове, който може да бъде използван вместо пакета itoa. Като параметър се предава буфер NumBuffer<Self>, чиито размери са гарантирано достатъчни за запис на всяка стойност от използвания тип в десетичен вид. На изхода се връща форматиран низ &str, чийто живот е свързан с буфера.
• Взаимодействието между обвивката ManuallyDrop и интелигентния указател Box вече не води до неопределено поведение.
• Нов набор от API е преведен в категорията стабилни, включително стабилизирани методи и реализации на типажи:
  • str::substr_range
  • [T]::subslice_range
  • core::fmt::NumBuffer
  • <{integer}>::format_into
  • Send/Sync за std::process::CommandArgs
  • {fN}::algebraic_add
  • {fN}::algebraic_sub
  • {fN}::algebraic_mul
  • {fN}::algebraic_div
  • {fN}::algebraic_rem
  • NonZero<{integer}>::from_str_radix
  • String::from_utf16le
  • String::from_utf16le_lossy
  • String::from_utf16be
  • String::from_utf16be_lossy
  • [T]::strip_circumfix
  • str::strip_circumfix
  • Atomic<T>::from_mut
  • Atomic<T>::get_mut_slice
  • Atomic<T>::from_mut_slice
  • std::range::legacy
• Целевите платформи thumbv7a-none-eabi, thumbv7a-none-eabihf, thumbv7r-none-eabi, thumbv7r-none-eabihf и thumbv8r-none-eabihf са преминали на второ ниво поддръжка, което означава гаранция за компилация, но без гаранции при преминаване на тестовия набор.
• Добавена е поддръжка за платформите powerpc64-unknown-linux-gnuelfv2 и aarch64-unknown-linux-pauthtest, за които е осигурено трето ниво поддръжка. Третото ниво покрива базовата поддръжка, но без автоматизирано тестване, публикуване на официални компилации и проверка на възможността за компилация на кода.

Допълнително може да се отбележи компрометирането на популярния crate-пакет arrayref, който има над 53 млн. изтегляния за последните 90 дни и се използва като зависимост от 403 пакета. Атакуващите публикуваха в репозиторито crates.io нови пакети proc-macro1, proc-macro-en, aovine, arone, aronenao и tinymember, съдържащи злонамерен код. След това в репозитория бяха публикувани нови версии на пакетите arrayref 0.3.10, internment 0.8.7 и append-only-vec 0.1.9, в които в зависимост беше добавен злонамерен пакет proc-macro1. Злонамерената версия на пакета arrayref беше публикувана на 20 август в 10:15 (MSK) и съществуваше до 11:41, след което беше премахната от администраторите на crates.io.

Не успяхме да се свържем с представителя на arrayref за изясняване на ситуацията, но се предполага, че потребителските им данни са били прихванати от злонамерени лица. В пакета proc-macro1 злонамереното изменение се е съдържало в скрипта за компилация и е извършвало изтегляне на изпълним файл от външен адрес. сървърИзтегленият файл в Unix системи е бил запазен като /tmp/rust-setup, а в Windows — %TEMP%\rust-setup.ps1 или %TEMP%\rust-setup-launch.vbs.

Източник: opennet.ru