{"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\/sq\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Iniciativa p\u00ebr v\u00ebrtetimin e bibliotek\u00ebs standarde Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Kompania Amazon dhe organizata Rust Foundation prezantuan nj\u00eb iniciativ\u00eb t\u00eb orientuar drejt rritjes s\u00eb siguris\u00eb s\u00eb bibliotek\u00ebs standarde t\u00eb gjuh\u00ebs Rust. Q\u00ebllimi i saj \u00ebsht\u00eb t\u00eb verifikoj\u00eb besueshm\u00ebrin\u00eb dhe sigurin\u00eb e funksioneve q\u00eb p\u00ebrmbajn\u00eb fjal\u00ebn ky\u00e7e 'unsafe', e cila lejon operacione q\u00eb punojn\u00eb n\u00eb m\u00ebnyr\u00eb t\u00eb pasigurt me memorien, si\u00e7 jan\u00eb dereferencimi i treguesve, modifikimi i variablave statik\u00eb dhe aksesimi n\u00eb biblioteka t\u00eb jashtme n\u00eb C\/C++. Vlen t\u00eb theksohet se aktualisht biblioteka standarde Rust p\u00ebrb\u00ebhet nga rreth 35 mij\u00eb funksione, prej t\u00eb cilave n\u00eb 7500 gjenden blloqe kodi q\u00eb ekzekutohen n\u00eb kontekstin 'unsafe'. Gjat\u00eb tri viteve t\u00eb fundit, n\u00eb bibliotek\u00eb jan\u00eb identifikuar 57 probleme me korrekt\u00ebsin\u00eb e pun\u00ebs, prej t\u00eb cilave 20 jan\u00eb sh\u00ebnuar si dob\u00ebsi. <\/p>\n
Puna p\u00ebr verifikimin e bibliotek\u00ebs \u00ebsht\u00eb organizuar n\u00eb form\u00ebn e nj\u00eb konkurse, ku pjes\u00ebmarr\u00ebsve u ofrohen detyra t\u00eb ndryshme q\u00eb lidhen me kryerjen e kontrollave t\u00eb caktuara p\u00ebr t\u00eb konfirmuar pun\u00ebn e sigurt me memorien e bibliotekave Rust ose me zhvillimin e mjeteve p\u00ebr automatizimin e kontrollave t\u00eb tilla. Kryerja me sukses e q\u00ebllimit t\u00eb kontrollit (ofrimi i nj\u00eb prov\u00eb formale t\u00eb besueshm\u00ebris\u00eb) parashikon nj\u00eb shp\u00ebrblim. P\u00ebr t\u00eb zhvilluar eksperimente dhe publikuar rezultatet e pun\u00ebs, \u00ebsht\u00eb krijuar nj\u00eb depresion q\u00eb p\u00ebrfaq\u00ebson nj\u00eb deg\u00ebzim nga repozitori zyrtar i Rust. <\/p>\n
Aktualisht jan\u00eb propozuar 13 detyra p\u00ebr zgjidhje. P\u00ebr shembull, n\u00eb nj\u00eb nga detyrat propozohet t\u00eb verifikohet siguria e pun\u00ebs me treguesit raw n\u00eb funksionet e modulit core::ptr dhe t\u00eb ofrohet nj\u00eb prov\u00eb formale e sakt\u00ebsis\u00eb s\u00eb operacioneve me tregues. P\u00ebr verifikimin mund t\u00eb p\u00ebrdoren mjete ekzistuese, si Aeneas, Kani, Gillian, Verus dhe Creusot, ose t\u00eb ofrohen t\u00eb reja. Shembuj t\u00eb detyrave t\u00eb p\u00ebrfunduara. \n Burimi: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"