{"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\/es\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Iniciativa para verificar la biblioteca est\u00e1ndar de Rust.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
La empresa Amazon y la organizaci\u00f3n Rust Foundation han presentado una iniciativa destinada a mejorar la seguridad de la biblioteca est\u00e1ndar del lenguaje Rust. El objetivo es verificar la fiabilidad y seguridad de las funciones que utilizan la palabra clave \"unsafe\", que permite realizar operaciones que funcionan de manera insegura con la memoria, como la desreferenciaci\u00f3n de punteros, la modificaci\u00f3n de variables est\u00e1ticas y el acceso a bibliotecas externas en C\/C++. Se se\u00f1ala que actualmente la biblioteca est\u00e1ndar de Rust cuenta con alrededor de 35,000 funciones, de las cuales en 7,500 se encuentran bloques de c\u00f3digo que se ejecutan en el contexto \"unsafe\". En los \u00faltimos tres a\u00f1os, se han identificado 57 problemas de correcci\u00f3n en la biblioteca, de los cuales 20 han sido etiquetados como vulnerabilidades. <\/p>\n
El trabajo para verificar la biblioteca se organiza en forma de concurso, en el que se proponen diversas tareas relacionadas con la realizaci\u00f3n de verificaciones espec\u00edficas para confirmar el trabajo seguro con la memoria de las bibliotecas Rust o con el desarrollo de herramientas para automatizar dichas verificaciones. La realizaci\u00f3n exitosa del objetivo de verificaci\u00f3n (proporcionar una prueba formal de fiabilidad) implica el pago de una recompensa. Se ha creado un repositorio para realizar experimentos y publicar los resultados, que es una bifurcaci\u00f3n del repositorio oficial de Rust. <\/p>\n
Actualmente se han propuesto 13 tareas. Por ejemplo, en una de las tareas se solicita comprobar la seguridad del trabajo con punteros raw en las funciones del m\u00f3dulo core::ptr y proporcionar una prueba formal de la correcci\u00f3n de las operaciones con punteros. Para la verificaci\u00f3n, se pueden utilizar herramientas existentes, como Aeneas, Kani, Gillian, Verus y Creusot, o proponer nuevas. Ejemplos de tareas completadas. \n Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"