{"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\/fr\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Initiative de v\u00e9rification de la biblioth\u00e8que standard Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Amazon et l'organisation Rust Foundation ont lanc\u00e9 une initiative visant \u00e0 am\u00e9liorer la s\u00e9curit\u00e9 de la biblioth\u00e8que standard du langage Rust. L'objectif d\u00e9clar\u00e9 est de v\u00e9rifier la fiabilit\u00e9 et la s\u00e9curit\u00e9 des fonctions utilisant le mot cl\u00e9 \"unsafe\", qui permet des op\u00e9rations potentiellement dangereuses sur la m\u00e9moire, telles que le d\u00e9r\u00e9f\u00e9rencement de pointeurs, la modification de variables statiques et l'acc\u00e8s \u00e0 des biblioth\u00e8ques externes en C\/C++. Il est \u00e0 noter qu'actuellement, la biblioth\u00e8que standard de Rust comprend environ 35 000 fonctions, dont 7 500 ex\u00e9cutent des blocs de code dans un contexte \"unsafe\". Au cours des trois derni\u00e8res ann\u00e9es, 57 probl\u00e8mes de validation ont \u00e9t\u00e9 identifi\u00e9s dans cette biblioth\u00e8que, dont 20 ont \u00e9t\u00e9 signal\u00e9s comme des vuln\u00e9rabilit\u00e9s. <\/p>\n
Le travail de v\u00e9rification de la biblioth\u00e8que est organis\u00e9 sous la forme d'un concours, dans lequel les participants se voient proposer diverses t\u00e2ches li\u00e9es \u00e0 la r\u00e9alisation de v\u00e9rifications sp\u00e9cifiques pour confirmer le fonctionnement s\u00e9curis\u00e9 de la m\u00e9moire dans les biblioth\u00e8ques Rust ou le d\u00e9veloppement d'outils pour automatiser de telles v\u00e9rifications. L'ach\u00e8vement r\u00e9ussi de l'objectif de v\u00e9rification (fournir une preuve formelle de fiabilit\u00e9) implique une r\u00e9compense. Un d\u00e9p\u00f4t a \u00e9t\u00e9 cr\u00e9\u00e9 pour r\u00e9aliser des exp\u00e9riences et publier les r\u00e9sultats, qui est un fork du d\u00e9p\u00f4t standard de Rust. <\/p>\n
Actuellement, 13 t\u00e2ches ont \u00e9t\u00e9 propos\u00e9es. Par exemple, l'une des t\u00e2ches consiste \u00e0 v\u00e9rifier la s\u00e9curit\u00e9 de l'utilisation de pointeurs bruts dans les fonctions du module core::ptr et \u00e0 fournir une preuve formelle de la correction des op\u00e9rations sur les pointeurs. Pour la v\u00e9rification, des outils existants tels que Aeneas, Kani, Gillian, Verus et Creusot peuvent \u00eatre utilis\u00e9s, ou de nouveaux peuvent \u00eatre propos\u00e9s. Exemples de t\u00e2ches r\u00e9alis\u00e9es. \n Source : opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"