Rust 1.98.0 გამოშვება: arrayref პაკეტის კომპრომეტირება, რომელიც 3 თვეში 53 მილიონჯერ გადმოიტვირთა.

გამოვიდა Rust 1.98 პროგრამირების ენა, რომელიც დაარსდა Mozilla პროექტის მიერ, მაგრამ ამჟამად შემუშავებულია დამოუკიდებელი არაკომერციული ორგანიზაცია Rust Foundation-ის ეგიდით. ენა ფოკუსირებულია მეხსიერების უსაფრთხოებაზე და უზრუნველყოფს ინსტრუმენტებს დავალებების შესრულების მაღალი პარალელიზმის მისაღწევად, ნაგვის შემგროვებლისა და გაშვების დროის გამოყენების გარეშე (გაშვების დრო დაყვანილია სტანდარტული ბიბლიოთეკის ძირითადი ინიციალიზაციისა და მოვლა-პატრონობის ჩათვლით).

Rust-ის მეხსიერების მართვის მეთოდები შექმნილია იმისთვის, რომ აღმოფხვრას მაჩვენებლის მანიპულირებისას წარმოქმნილი შეცდომები და დაიცვას დაბალი დონის მეხსიერების მართვით გამოწვეული პრობლემებისგან, როგორიცაა მეხსიერებაზე წვდომა მისი გათავისუფლების შემდეგ, ნულოვანი მაჩვენებლების დერეფერენსირება, ბუფერის გადატვირთვა და ა.შ. პროექტი ავითარებს Cargo პაკეტების მენეჯერს ბიბლიოთეკების გასანაწილებლად, აწყობის ხელშეწყობისა და დამოკიდებულებების სამართავად. crates.io საცავი შენარჩუნებულია ბიბლიოთეკების ჰოსტინგისთვის.

მეხსიერების უსაფრთხოება უზრუნველყოფილია Rust-ში კომპილაციის დროს, მითითების შემოწმების, ობიექტის საკუთრების თვალყურის დევნების, ობიექტების სიცოცხლის ხანგრძლივობის (ფარგლების) თვალყურის დევნების გზით და კოდის შესრულების დროს მეხსიერების წვდომის სისწორის შეფასებით. Rust ასევე უზრუნველყოფს დაცვას მთელი რიცხვების გადადინებისგან, მოითხოვს ცვლადის მნიშვნელობების სავალდებულო ინიციალიზაციას გამოყენებამდე, უკეთ ამუშავებს შეცდომებს სტანდარტულ ბიბლიოთეკაში, იყენებს უცვლელი მითითებებისა და ცვლადების კონცეფციას ნაგულისხმევად, გთავაზობთ ძლიერ სტატიკურ აკრეფას ლოგიკური შეცდომების შესამცირებლად.

ძირითადი ინოვაციები:

• f32 და f64 მცურავი წერტილოვანი ტიპებისთვის დანერგილია შეკრების, გამოკლების, გამრავლების, გაყოფისა და ნაშთის ალგებრული მეთოდები, რომლებიც ახორციელებენ ოპტიმიზაციას C/C++ კომპილატორებში „-ffast-math“ ოფციის მსგავსი. ეს მეთოდები საშუალებას იძლევა, საჭიროების შემთხვევაში, შეიცვალოს ოპერაციების თანმიმდევრობა ისეთი ოპტიმიზაციისთვის, როგორიცაა მარყუჟის ვექტორიზაცია. მაგალითად, „a + b + c + d“-ის რეგულარული შეკრების გამოყენებით გამოთვლისას, კომპილატორი ყოველთვის შეასრულებს გამოთვლას ერთი და იგივე თანმიმდევრობით: „((a + b) + c) + d“, მაგრამ algebraic_add მეთოდის გამოყენებით, მას შეუძლია დააჯგუფოს გამოსახულება, როგორც „(a + b) + (c + d)“ და შეასრულოს „(a + b)“ და „(c + d)“ პარალელურად SIMD ინსტრუქციების გამოყენებით. ალგებრული მეთოდების გამოყენების ფასი გამოთვლის შედეგების არადეტერმინიზმია, რომელიც შეიძლება განსხვავდებოდეს შეცდომის ზღვრის ფარგლებში.
• ყველა პრიმიტიული მთელი რიცხვის ტიპს აქვს ჩაშენებული „format_into“ მეთოდი რიცხვების სტრიქონებად გადასაყვანად, რომლის გამოყენებაც itoa პაკეტის ნაცვლად შეიძლება. პარამეტრის სახით გადაეცემა NumBuffer ბუფერი. , რომლის ზომა გარანტირებულად საკმარისია გამოყენებული ტიპის ნებისმიერი მნიშვნელობის ათწილად ფორმატში ჩასაწერად. გამომავალი არის ფორმატირებული &str სტრიქონი, რომლის სიცოცხლის ხანგრძლივობა ბუფერთანაა დაკავშირებული.
• ManuallyDrop აღკაზმულობასა და Box-ის ჭკვიან მაჩვენებელს შორის ურთიერთქმედება აღარ იწვევს განუსაზღვრელ ქცევას.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • str::substr_range
  • [T]::subslice_range
  • core::fmt::NumBuffer
  • <{მთელი რიცხვი}>::format_into
  • std::process::CommandArgs-ის გაგზავნა/სინქრონიზაცია
  • {fN}::ალგებრული_დამატება
  • {fN}::ალგებრული_ქვე
  • {fN}::ალგებრული_მულ
  • {fN}::ალგებრული_გამყოფი
  • {fN}::ალგებრული_რემ.
  • არანული<{მთელი რიცხვი}>::from_str_radix
  • სტრიქონი::from_utf16le
  • სტრიქონი::from_utf16le_lossy
  • სტრიქონი::from_utf16be
  • სტრიქონი::from_utf16be_lossy
  • [T]::strip_circumfix
  • str::strip_circumfix
  • ატომური ::from_mut
  • ატომური ::get_mut_slice
  • ატომური ::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, რომელიც ბოლო 90 დღის განმავლობაში 53 მილიონჯერ გადმოიტვირთა და რომელსაც 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