{"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\/pt\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Iniciativa de verifica\u00e7\u00e3o da biblioteca padr\u00e3o Rust.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
A Amazon e a Rust Foundation apresentaram uma iniciativa voltada para aumentar a seguran\u00e7a da biblioteca padr\u00e3o da linguagem Rust. O objetivo \u00e9 verificar a confiabilidade e seguran\u00e7a das fun\u00e7\u00f5es que utilizam a palavra-chave \"unsafe\", que permite opera\u00e7\u00f5es que manipulam a mem\u00f3ria de forma insegura, como desreferenciamento de ponteiros, modifica\u00e7\u00e3o de vari\u00e1veis est\u00e1ticas e acesso a bibliotecas externas em C\/C++. Observa-se que atualmente a biblioteca padr\u00e3o do Rust possui cerca de 35 mil fun\u00e7\u00f5es, das quais em 7500 h\u00e1 blocos de c\u00f3digo executados no contexto \"unsafe\". Nos \u00faltimos tr\u00eas anos, foram identificados 57 problemas de corre\u00e7\u00e3o na biblioteca, dos quais 20 foram marcados como vulnerabilidades. <\/p>\n
O trabalho de verifica\u00e7\u00e3o da biblioteca est\u00e1 organizado na forma de um concurso, onde os participantes s\u00e3o apresentados a diferentes tarefas relacionadas \u00e0 realiza\u00e7\u00e3o de certas verifica\u00e7\u00f5es para confirmar a opera\u00e7\u00e3o segura com a mem\u00f3ria das bibliotecas Rust ou ao desenvolvimento de ferramentas para automatizar essas verifica\u00e7\u00f5es. A realiza\u00e7\u00e3o bem-sucedida do objetivo de verifica\u00e7\u00e3o (fornecimento de provas formais de confiabilidade) prev\u00ea o pagamento de uma recompensa. Para a realiza\u00e7\u00e3o de experimentos e publica\u00e7\u00e3o dos resultados, foi criado um reposit\u00f3rio, que \u00e9 um fork do reposit\u00f3rio oficial do Rust. <\/p>\n
Atualmente, 13 tarefas foram propostas para resolu\u00e7\u00e3o. Por exemplo, em uma das tarefas, \u00e9 sugerido verificar a seguran\u00e7a do trabalho com ponteiros brutos nas fun\u00e7\u00f5es do m\u00f3dulo core::ptr e fornecer uma prova formal da corre\u00e7\u00e3o das opera\u00e7\u00f5es com ponteiros. Para a verifica\u00e7\u00e3o, podem ser utilizados ferramentas existentes, como Aeneas, Kani, Gillian, Verus e Creusot, ou novas ferramentas podem ser sugeridas. Exemplos de tarefas conclu\u00eddas. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"