{"id":120678,"date":"2024-11-24T15:46:00","date_gmt":"2024-11-24T13:46:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust"},"modified":"2024-11-24T15:46:00","modified_gmt":"2024-11-24T13:46:00","slug":"inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/da\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Initiativet til verifikation af Rust standardbiblioteket","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Amazon og Rust Foundation har pr\u00e6senteret en initiativ, der sigter mod at forbedre sikkerheden i den standardbibliotek for programmeringssproget Rust. M\u00e5let er at kontrollere p\u00e5lideligheden og sikkerheden af funktioner, der bruger n\u00f8gleordet \"unsafe\", som tillader operationer, der arbejder usikkert med hukommelsen, s\u00e5som dereferencering af pege, \u00e6ndring af statiske variabler og adgang til eksterne biblioteker i C\/C++. Det bem\u00e6rkes, at den nuv\u00e6rende standardbibliotek for Rust best\u00e5r af omkring 35.000 funktioner, hvoraf 7.500 indeholder kodeblokke, der udf\u00f8res i konteksten \"unsafe\". I de sidste tre \u00e5r er der blevet identificeret 57 problemer med korrektheden i biblioteket, hvoraf 20 er blevet markeret som s\u00e5rbarheder. <\/p>\n
Arbejdet med at kontrollere biblioteket er organiseret i form af en konkurrence, hvor deltagerne f\u00e5r forskellige opgaver relateret til at udf\u00f8re specifikke kontroller for at bekr\u00e6fte sikker h\u00e5ndtering af hukommelsen i Rust-biblioteker eller til udvikling af v\u00e6rkt\u00f8jer til at automatisere s\u00e5danne kontroller. En vellykket opfyldelse af kontrolm\u00e5let (levering af formel bevis for p\u00e5lidelighed) indeb\u00e6rer en bel\u00f8nning. For at udf\u00f8re eksperimenter og offentligg\u00f8re resultater er der oprettet et repository, der er et fork af det officielle Rust-repository. <\/p>\n
I \u00f8jeblikket er der foresl\u00e5et 13 opgaver. For eksempel i en af opgaverne skal man sikre sig, at der er sikkerhed ved brug af raw-pointere i funktioner fra modulet core::ptr og levere en formel bevis for korrektheden af pointeroperationerne. Til verifikation kan eksisterende v\u00e6rkt\u00f8jer som Aeneas, Kani, Gillian, Verus og Creusot bruges, eller man kan foresl\u00e5 nye. Eksempler p\u00e5 udf\u00f8rte opgaver. \n Kilde: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"