{"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\/cs\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","title":{"rendered":"Iniciativa pro ov\u011b\u0159ov\u00e1n\u00ed standardn\u00ed knihovny Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Spole\u010dnost Amazon a organizace Rust Foundation p\u0159edstavily iniciativu zam\u011b\u0159enou na zv\u00fd\u0161en\u00ed bezpe\u010dnosti standardn\u00ed knihovny jazyka Rust. C\u00edlem je prov\u011b\u0159it spolehlivost a bezpe\u010dnost funkc\u00ed, ve kter\u00fdch se pou\u017e\u00edv\u00e1 kl\u00ed\u010dov\u00e9 slovo «unsafe», umo\u017e\u0148uj\u00edc\u00ed operace, kter\u00e9 bezpe\u010dn\u011b nepracuj\u00ed s pam\u011bt\u00ed, jako je dereferencov\u00e1n\u00ed ukazatel\u016f, zm\u011bna statick\u00fdch prom\u011bnn\u00fdch a p\u0159\u00edstup k extern\u00edm knihovn\u00e1m v jazyc\u00edch C\/C++. Je uvedeno, \u017ee v sou\u010dasnosti standardn\u00ed knihovna Rust obsahuje p\u0159ibli\u017en\u011b 35 tis\u00edc funkc\u00ed, z nich\u017e ve 7500 se nach\u00e1zej\u00ed bloky k\u00f3du vykon\u00e1van\u00e9 v kontextu «unsafe». V pr\u016fb\u011bhu posledn\u00edch t\u0159\u00ed let bylo v knihovn\u011b identifikov\u00e1no 57 probl\u00e9m\u016f s korektnost\u00ed fungov\u00e1n\u00ed, z nich\u017e 20 bylo ozna\u010deno jako zranitelnosti. <\/p>\n

Pr\u00e1ce na prov\u011b\u0159ov\u00e1n\u00ed knihovny je organizov\u00e1na ve form\u011b sout\u011b\u017ee, jej\u00edm\u017e \u00fa\u010dastn\u00edk\u016fm jsou nab\u00edzena r\u016fzn\u00e1 zad\u00e1n\u00ed t\u00fdkaj\u00edc\u00ed se prov\u00e1d\u011bn\u00ed konkr\u00e9tn\u00edch kontrol k potvrzen\u00ed bezpe\u010dn\u00e9ho zach\u00e1zen\u00ed s pam\u011bt\u00ed knihoven Rust nebo v\u00fdvoje n\u00e1stroj\u016f pro automatizaci podobn\u00fdch kontrol. \u00dasp\u011b\u0161n\u00e9 spln\u011bn\u00ed c\u00edle prov\u011b\u0159ov\u00e1n\u00ed (poskytnut\u00ed form\u00e1ln\u00edho d\u016fkazu spolehlivosti) zahrnuje vyplacen\u00ed odm\u011bny. Pro prov\u00e1d\u011bn\u00ed experiment\u016f a publikaci v\u00fdsledk\u016f byla vytvo\u0159ena repozit\u00e1\u0159, p\u0159edstavuj\u00edc\u00ed odno\u017e od standardn\u00edho repozit\u00e1\u0159e Rust. <\/p>\n

V sou\u010dasn\u00e9 dob\u011b bylo navr\u017eeno 13 \u00fakol\u016f. Nap\u0159\u00edklad v jednom z \u00fakol\u016f se po\u017eaduje ov\u011b\u0159en\u00ed bezpe\u010dnosti pr\u00e1ce s raw ukazateli ve funkc\u00edch modulu core::ptr a poskytnout form\u00e1ln\u00ed d\u016fkaz spr\u00e1vnosti operac\u00ed s ukazateli. K verifikaci lze pou\u017e\u00edt existuj\u00edc\u00ed n\u00e1stroje, jako jsou Aeneas, Kani, Gillian, Verus a Creusot, nebo navrhnout nov\u00e9. P\u0159\u00edklady realizovan\u00fdch \u00fakol\u016f.
\n
Zdroj: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Amazon \u0438 \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u044f Rust Foundation \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0438 \u0438\u043d\u0438\u0446\u0438\u0430\u0442\u0438\u0432\u0443, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u0443\u044e \u043d\u0430 \u043f\u043e\u0432\u044b\u0448\u0435\u043d\u0438\u0435 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0439 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 \u044f\u0437\u044b\u043a\u0430 Rust. \u0426\u0435\u043b\u044c\u044e \u0437\u0430\u044f\u0432\u043b\u0435\u043d\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0430\u0434\u0451\u0436\u043d\u043e\u0441\u0442\u0438 \u0438 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043a\u043b\u044e\u0447\u0435\u0432\u043e\u0435 \u0441\u043b\u043e\u0432\u043e «unsafe», \u0434\u043e\u043f\u0443\u0441\u043a\u0430\u044e\u0449\u0435\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438, \u043d\u0435\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0435 \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e, \u0442\u0430\u043a\u0438\u0435 \u043a\u0430\u043a \u0440\u0430\u0437\u044b\u043c\u0435\u043d\u043e\u0432\u0430\u043d\u0438\u0435 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0435\u0439, \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0435 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0438 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u043a \u0432\u043d\u0435\u0448\u043d\u0438\u043c \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430\u043c \u043d\u0430 \u0421\/C++. \u041e\u0442\u043c\u0435\u0447\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0432 \u043d\u0430\u0441\u0442\u043e\u044f\u0449\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u0430\u044f […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-120678","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Iniciativa pro verifikaci standardn\u00ed knihovny Rust | ProHoster","description":"Spole\u010dnost Amazon a organizace Rust Foundation p\u0159edstavily iniciativu zam\u011b\u0159enou na zv\u00fd\u0161en\u00ed bezpe\u010dnosti standardn\u00ed knihovny jazyka Rust.","canonical_url":"https:\/\/prohoster.info\/cs\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"cs_CZ","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u0418\u043d\u0438\u0446\u0438\u0430\u0442\u0438\u0432\u0430 \u043f\u043e \u0432\u0435\u0440\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0439 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 Rust | ProHoster","og:description":"\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Amazon \u0438 \u043e\u0440\u0433\u0430\u043d\u0438\u0437\u0430\u0446\u0438\u044f Rust Foundation \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b\u0438 \u0438\u043d\u0438\u0446\u0438\u0430\u0442\u0438\u0432\u0443, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u0443\u044e \u043d\u0430 \u043f\u043e\u0432\u044b\u0448\u0435\u043d\u0438\u0435 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u043e\u0439 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 \u044f\u0437\u044b\u043a\u0430 Rust.","og:url":"https:\/\/prohoster.info\/cs\/blog\/news\/inicziativa-po-verifikaczii-standartnoj-biblioteki-rust","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2024-11-24T13:46:00+00:00","article:modified_time":"2024-11-24T13:46:00+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"120678","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":"default","schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":"2026-01-23 08:17:20","breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2026-01-23 08:17:20","updated":"2026-01-23 08:17:20","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/120678","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/comments?post=120678"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/120678\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/media?parent=120678"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/categories?post=120678"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/tags?post=120678"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}